Backend: stack of modules in a big lib + code generation