115_many_anonymous_record_fields.toy (459B)
1 fn __user_main(): i64 { 2 let r: record { 3 f0: i64, f1: i64, f2: i64, f3: i64, f4: i64, f5: i64, 4 f6: i64, f7: i64, f8: i64, f9: i64, f10: i64, f11: i64, 5 f12: i64, f13: i64, f14: i64, f15: i64, f16: i64, f17: i64, 6 } = { 7 f0: 1, f1: 2, f2: 3, f3: 4, f4: 5, f5: 6, 8 f6: 7, f7: 8, f8: 9, f9: 10, f10: 11, f11: 12, 9 f12: 13, f13: 14, f14: 15, f15: 16, f16: 17, f17: 18, 10 }; 11 return r.f17; 12 } 13 14 fn main(): i32 { return __user_main() as i32; }