IPPORT_HIFIRSTAUTO
int ipport_hifirstauto = IPPORT_HIFIRSTAUTO; /* [a] */
return (IPPORT_HIFIRSTAUTO +
arc4random_uniform(IPPORT_HILASTAUTO - IPPORT_HIFIRSTAUTO));