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: 
  -spec status_to_ips(task_status()) -> [inet:ip_address()].
  status_to_ips(_Status = #{container_status := #{network_infos := NetworkInfos}}) ->
    network_info_to_ips(NetworkInfos, []);
  status_to_ips(_) ->
    [].
  
  -spec network_info_to_ips([network_info()], [inet:ip_address()]) -> [inet:ip_address()].
  network_info_to_ips([], Acc) ->
    Acc;
  network_info_to_ips([NetworkInfo|Rest], Acc) ->
    #{ip_address := IPAddressBin} = NetworkInfo,
    {ok, IPAddress} = inet:parse_ipv4_address(binary_to_list(IPAddressBin)),
    network_info_to_ips(Rest, [IPAddress|Acc]).
  
  -spec parse_ports(binary()) -> [pos_integer()].
  parse_ports(Ports) ->
  