use "g_stdio.g"; fun main () -> int @;