const defaultMuted_getterinfo: JSJitInfo;