use the C99 integer definitions from ua_config.h

deps/pcg_basic.h

@@ -21,18 +21,19 @@
  *     http://www.pcg-random.org
  */
 
-#ifndef PCG_BASIC_H_INCLUDED
-#define PCG_BASIC_H_INCLUDED 1
-
-#include "ms_stdint.h"
+#ifndef PCG_BASIC_H_
+#define PCG_BASIC_H_
 
 #ifdef __cplusplus
 extern "C" {
 #endif
 
+#include "ua_config.h"
+
 typedef struct pcg_state_setseq_64 {
-    uint64_t state;             // RNG state.  All values are possible.
-    uint64_t inc;               // Controls which RNG sequence (stream) is selected. Must *always* be odd.
+    uint64_t state;  /* RNG state.  All values are possible. */
+    uint64_t inc;    /* Controls which RNG sequence (stream) is selected. Must
+                      * *always* be odd. */
 } pcg32_random_t;
 
 #define PCG32_INITIALIZER { 0x853c49e6748fea9bULL, 0xda3e39cb94b95bdbULL }
@@ -44,4 +45,4 @@ uint32_t pcg32_random_r(pcg32_random_t* rng);
 }
 #endif
 
-#endif // PCG_BASIC_H_INCLUDED
+#endif /* PCG_BASIC_H_ */