BEGIN {
  builtin["_exit"] =	"void _exit()";
  builtin["strlen"] =	"unsigned long strlen()";
}