fun foo
(int @ x) -> int @;

fun main
() -> int @;