fun f() : void = 
    ^a^