type: `int` is now a alias of `s32`

All things should be defined without hardware dependence.