Symbol: int_fast32_t