1    type VkInstance = MutPtr
2    type VkSurface = MutPtr
3    type VkAllocator = Ptr
4    
5    type VkResult =
6        | Success = 0
7        | ErrorInitializationFailed = -3
8        | ErrorExtensionNotPresent = -7
9        | ErrorNativeWindowInUseKhr = -1000000001
10