f() { x := 123 @ 456 }