pub const USER_PORT_OFFSET: u64 = 1024; // 1_024u64
The offset of user-defined ports (i.e., arbitrarily bound).