/*include_c "stdio.h"; Having problems with the solaris stdio.h and swig. -Jeremy */
use "g_stdio.g";

fun main() -> int@ {
  printf("Hello world!\n");
  return 0;
}