…d of the

%d the spec says, but same output.  And you can't actually select it until I
get menuconfig in.  But hey...)