should the def of line25 be this instead, using the resumption continuation?