anchor.diff:  %% Records
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  --record(state, {module, state}).
  +-record(state, 
  +        {
  +          module :: module(),
  +          state :: any()
  +        }).
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   %% Behavior definition
  
positive.code: 
  -callback init(InitArgs :: any()) -> State :: any().
  -callback handle_notify(Msg :: any(), State :: any()) ->
      tuple('send', Event :: event(), NewState :: any())
          | tuple('nosend', NewState :: any())
          | tuple('stop', NewState :: any()).
  -callback handle_info(Msg :: any(), State :: any()) ->
      tuple('send', Event :: event(), NewState :: any())
          | tuple('nosend', NewState :: any())
          | tuple('stop', NewState :: any()).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %% Cowboy callbacks
  
negative.code: % @doc Server-Sent Event handler for Cowboy 
  -module(lasse_handler).
  
  -export([
  