checkpoint
Passing enq