Annotate a not-in-use global
Distinguish true globals from helpers, and document that