:@choice=1 :g = "g"!script($_) *| a |-> a #p!checkpoint *| aa |-> aa *| ab |-> ab *| b |-> b choice = 2 |autoflush *| c |-> c choice = 1 | g: g! | g from #p: g!from(#p)