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

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

fun main
() -> int @;