Functions doing the code generation belong to the pretty-printer module