/* patchable (XXX sysctl) */