const deleteBuffer_methodinfo: JSJitInfo;