suppress warning about %d in printf