text: /*s: kernel/network/portfns_network.h */
  
  void   hnputl(void*, uint);
  void   hnputs(void*, ushort);
  uint   nhgetl(void*);
  ushort nhgets(void*);
  
  //void    hnputv(void*, uvlong);
  //uvlong    nhgetv(void*);
  /*e: kernel/network/portfns_network.h */
  