exit() to replace exit