fun foo(): Int = ann@ 1