Looking into the vulkan.h i see this:
#if defined(__LP64__) || defined(_WIN64) || defined(__x86_64__) || .....
#define VK_DEFINE_NON_DISPATCHABLE_HANDLE(object) typedef struct object##_T *object;
#else
#define VK_DEFINE_NON_DISPATCHABLE_HANDLE(object) typedef uint64_t object;
#endif
Does anyone has an idea why the 64bits? For me it appears more reasonable to always use the first case of the ifdef