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