tidy up leave() and printing -runtime