namespace factor { void abort(); void exit(int status); }