const font_size_setterinfo: JSJitInfo;