Fix '3' being printed (whoops) and add trivial 'z'/'l' modifiers to
printf format