Has anyone implemented continuations in pure, dirty OCaml yet? (pure = no C, dirty = Obj.magic)