Correct int types to work on 16/32bit Arm processors