let next_add_stack (() : unit) : unit = add_stack_story := ((List.rev (!add_on_stack))::(!add_stack_story)); add_on_stack:=[]