This is good, but why can't we modify `used`? The name is exactly on point and 
it currently suppresses a warning about unused procs which is pretty close to 
what we want. Additionally taking it as an indication to the backend that it 
should generate code for an unused `proc` seems intuitive.

Reply via email to