fun foo(): Int = <caret>(ann@ 1)