anchor.diff:      too_large/1,
       alive_req_too_small_1/1,
       alive_req_too_small_2/1,
  -    alive_req_too_large/1
  +    alive_req_too_large/1,
  +
  +    returns_valid_empty_extra/1,
  +    returns_valid_populated_extra_with_nulls/1
      ]).
   
   
  
positive.code:     ?line ok = send(Sock, [size16(M), M]),
      sleep(?MEDIUM_PAUSE),
      ?line closed = recv(Sock,1),
      ok.
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
negative.code:      too_large,
       alive_req_too_small_1,
       alive_req_too_small_2,
       alive_req_too_large,
  
       returns_valid_empty_extra,
       returns_valid_populated_extra_with_nulls
      ].
  
  %%
  