[
  { "symbol": [ "int64_t",  "private", "<stdint.h>", "public" ] },
  { "symbol": [ "uint32_t", "private", "<stdint.h>", "public" ] },
  { "symbol": [ "uint64_t", "private", "<stdint.h>", "public" ] },
  { "symbol": [ "uint8_t",  "private", "<stdint.h>", "public" ] },
]