void _exit(int errcode) { }