higher bound on width

of the compiler able✕