cast to int to abuse format warnings