1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
type R = record a: Int; b: Int end proc f(): R return R(1, 2) end begin assert(f() = R(1, 2)); return 0 end.