I think "short int" -> "int", shouldn't it?