module IR { requires cplusplus umbrella "." module * { export * } }