I'd like to pass some state between FIR and IR due to the conversion removing underscore-unused variables and was thinking on annotating members in order to pass the state (since there doesn't seem to be a built-in way), but I am unsure of how to add annotations to functions