Refactored to support defunctionalization of delimcc ops