The printf format string changes are not necessary. The constants being printed fit in an int (Alpha only has 16 bit offsets in memory instructions). Either cast them to int or change the variables to be int.