public abstract byte[] local_addr();
public static byte[] socket_local_addr( socket s ) { return s.local_addr(); }