const muted_setterinfo: JSJitInfo;