int-widths
