module cpp_stdint [system] {
  header "stdint.h"
  export *
}