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