module libc [no_undeclared_includes] {
  module math { header "math.h" export * }
  module stdlib { header "stdlib.h" export * }
}