fun id (int const& a) -> int const&; fun main () -> int @;