const deleteRenderbuffer_methodinfo: JSJitInfo;