let next_message_stack (() : unit) : unit = 
         next_add_stack (); 
        next_remove_stack ()