@[translated] module main fn main() { a := 123 }