higher bound on width

of the compiler less end✕