const min_setterinfo: JSJitInfo;