1*ed84df00SBruno Cardoso Lopesmodule libc [no_undeclared_includes] {
2*ed84df00SBruno Cardoso Lopes  module math { header "math.h" export * }
3*ed84df00SBruno Cardoso Lopes  module stdlib { header "stdlib.h" export * }
4*ed84df00SBruno Cardoso Lopes}
5