^a
interface (POS(\S*))
fun