Can HTL just treat these as aliases for uint32_t and uint64_t respectively?
Can HTL just treat these as aliases for uint32_t and uint64_t respectively?