type
  R = record
    a: Int;
    b: Int
  end

var
  r: R := R{a: 1, b: 2}

begin
  case r of
    R{a: 0, b: 0}: assert(false)
  | R{a: 1, b: 2}: assert(true)
  else
    assert(false)
  end
end.