const min_height_setterinfo: JSJitInfo;