1module libc [no_undeclared_includes] {
2  module math { header "math.h" export * }
3  module stdlib { header "stdlib.h" export * }
4  module stddef { header "stddef.h" export * }
5  module stdint { header "stdint.h" export * }
6  module stdio { header "stdio.h" export * }
7  module util { header "util.h" export * }
8}
9