@[translated] module main fn f() { goto f2 goto a1 a1: goto a1 f2: goto a1 } fn main() { goto m1 m1: println('done') }