You are absolutely right. According to C11(last c standard), chapter §6.7.2
is classified as the same type (for example, type specifiers). So, intcoincides with signed int.
In addition, the repetition of the same, from the chapter §6.2.5 / P4
, signed char, short
int, int, long int long long int. ( , 6.7.2.) [....]
, int signed int .