Defunctionalization of delimcc operations nearly complete