scanf: use sizeof() for the size of integer types
stdio: cast integer arguments before formatting