const protocol_getterinfo: JSJitInfo;