https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125921
--- Comment #1 from Kael Franco <kaelfandrew at gmail dot com> ---
Replacing all int with other types:
signed char: f2 saves 1 byte
short: f2 save 2 bytes
__int128_t: f2 save 7 bytes
i2 save 1 byte
