marbre wrote: Quick question before having a change to take a deeper look. Would it make sense to introduce an `emitc.module` instead of an `emitc.tu`? Only referring to the naming here. https://github.com/llvm/llvm-project/pull/123298