renaming of int types