MSP430 and AVR use a 16-bit `c_int`, so the signature of `main` should be updated for those platforms. See https://github.com/rust-lang/rust/pull/44906
