removed emission of primop 'leave'