
// REQUIRES: modules-support

// Test that <cstdint> re-exports <stdint.h>

// RUN: %build_module

#include <cstdint.hxx>

int main(int, char**) {
  int8_t x; ((void)x);
  std::int8_t y; ((void)y);

  return 0;
}