Symbol: _F_INTMAX32