56     const char* result_str;  in die()  local
59         case VK_SUCCESS: result_str = "VK_SUCCESS"; break;  in die()
60         case VK_NOT_READY: result_str = "VK_NOT_READY"; break;  in die()
61         case VK_TIMEOUT: result_str = "VK_TIMEOUT"; break;  in die()
62         case VK_EVENT_SET: result_str = "VK_EVENT_SET"; break;  in die()
63         case VK_EVENT_RESET: result_str = "VK_EVENT_RESET"; break;  in die()
64         case VK_INCOMPLETE: result_str = "VK_INCOMPLETE"; break;  in die()
65         case VK_ERROR_OUT_OF_HOST_MEMORY: result_str = "VK_ERROR_OUT_OF_HOST_MEMORY"; break;  in die()
66         case VK_ERROR_OUT_OF_DEVICE_MEMORY: result_str = "VK_ERROR_OUT_OF_DEVICE_MEMORY"; break;  in die()
67         case VK_ERROR_INITIALIZATION_FAILED: result_str = "VK_ERROR_INITIALIZATION_FAILED"; break;  in die()
68         case VK_ERROR_DEVICE_LOST: result_str = "VK_ERROR_DEVICE_LOST"; break;  in die()
69         case VK_ERROR_MEMORY_MAP_FAILED: result_str = "VK_ERROR_MEMORY_MAP_FAILED"; break;  in die()
70         case VK_ERROR_LAYER_NOT_PRESENT: result_str = "VK_ERROR_LAYER_NOT_PRESENT"; break;  in die()
71         case VK_ERROR_EXTENSION_NOT_PRESENT: result_str = "VK_ERROR_EXTENSION_NOT_PRESENT"; break;  in die()
72         case VK_ERROR_INCOMPATIBLE_DRIVER: result_str = "VK_ERROR_INCOMPATIBLE_DRIVER"; break;  in die()
73         default: result_str = "<unknown VkResult>"; break;  in die()
76     fprintf(stderr, "%s failed: %s (%d)\n", proc, result_str, result);  in die()