Enhance the string formatter (used by printf()) so that the width and