In flight checkin for defunctionalization of delimcc operators