write_number
static void write_number(int *, u_int, struct sysctlnode *, char *, bool);
write_number(&name[0], namelen, node, value, optional);