Utilities common to all code-generation systems