#[doc=" Top-level module for network-related functionality "]; import tcp = net_tcp; export tcp; import ip = net_ip; export ip;