const font_stretch_setterinfo: JSJitInfo;