const muted_getterinfo: JSJitInfo;