Would like to give it a try, without reinventing the wheel, hence the question.
Is there something wrong with official ext_loader.c which is autogenerated from spec?
And isn't it as simple as Type* proc = vkGetInstanceProcAddr(instance, "proc") ?