uint64_t           10 src/runtime/runtime_internal.h typedef __UINT64_TYPE__ uint64_t;
uint64_t           19 src/runtime/runtime_internal.h typedef unsigned __INT64_TYPE__ uint64_t;