1 program test.alpha { 2 struct Point { 3 x: u32, 4 y: u32, 5 } 6 7 struct Point { 8 a: u32, 9 b: u32, 10 } 11 12 transition main() -> u32 { 13 return 0u32; 14 } 15 } 16