propp notes, no.exit implementation