var x: ^const Int y: const Int := 1 program() begin x := @y return 0u8 end.