/*include_c "stdio.h";*/
use "g_stdio.g";

fun add_ext(string a) -> string@ { return a + ".h"; }

fun main() -> int@ {
  let f = add_ext("foo");
  printf(f);
  return 0;
}