anchor.diff:      {formatted,State,Data};
   format_status(normal, [_Pdict,_State,_Data]) ->
       [format_status_called].
  +
  +flush() ->
  +    receive
  +	Msg ->
  +	    [Msg|flush()]
  +    after 0 ->
  +	    []
  +    end.
  
positive.code:     ok = verify_empty_msgq().
  
  %% global register linked
  start7(Config) when is_list(Config) ->
      STM = {global,my_stm},
  
      {ok,Pid} =
  
negative.code: 
  %% Check that bad return values makes the stm crash. Note that we must
  %% trap exit since we must link to get the real bad_return_ error
  abnormal2(Config) ->
      OldFl = process_flag(trap_exit, true),
      {ok,Pid} = gen_statem:start_link(?MODULE, start_arg(Config, []), []),
  
  