Generate set-default-priority.
Disable some help when INSTRUMENTATION is not enabled.