fun apply
((fun(int const&) -> int @) const& f, int const& x) -> int @;

fun add1
(int const& x) -> int @;

fun main
() -> int @;