change trampoline convention to (k, value) to call k with value
change trampoline to take a single state value
flush changes immediately
trampoline with inspectable continuations