ERROR: Duplicate type with name: uint64_t