program()
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.