Prototype version of (exit)