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