fun main
() -> int @;