const defaultMuted_setterinfo: JSJitInfo;