const ondatachannel_setterinfo: JSJitInfo;