/* debugger variables */ /* XXX must all be ints for sysctl. */