anchor.diff:    ?LET(S, list(p_status()), S).
   
   p_status() ->
  -  ?LET(NI, list(p_networkinfo()), #{
  +  ?LET(NI, list(p_network_info()), #{
       container_status => #{
         network_infos => NI
       }
     }).
   
  -p_networkinfo() ->
  +p_network_info() ->
     ?LET(IP, p_ip(), #{ip_address => IP}).
   
   p_taskstate() ->
  
positive.code:                    })),
    ok.
  
  networkinfos_to_ips_test() ->
    ?assertEqual([], networkinfos_to_ips([], [])),
    ?assertEqual([1], networkinfos_to_ips([], [1])),
    ?assertException(error, {badmatch, _}, networkinfos_to_ips([#{ip_address => <<>>}], [])),
    ?assertException(error, {badmatch, _}, networkinfos_to_ips([#{ip_address => <<"1.a2">>}], [])),
    ?assertEqual([{1, 2, 3, 4}], networkinfos_to_ips([#{ip_address => <<"1.2.3.4">>}], [])),
    ok.
  
  parse_ports_test() ->
  
negative.code: -type task() :: map().
  -type task_status() :: map().
  -type label() :: map().
  -type network_info() :: map().
  -type vip_string() :: <<_:48, _:_*1>>.
  
  %%%===================================================================
  