const font_size_getterinfo: JSJitInfo;