struct A {
int x;
};

fun myid< T >
(T const& x) -> T const&;

fun main
() -> int @;