use "g_stdio.g";

fun add_ext
(string const& a) -> string @;

fun main
() -> int @;