if CTLTYPE_U64 stand for unsigned 64 bit integer, why not use sizeof(uint64_t) ? Is the mainstream sysctl(8) patch _"wrong"_ ?