On Fri, 2007-06-15 at 10:42 +0200, Segher Boessenkool wrote: > Yes, certainly. Or, the other way around I like better > ("bank-width" optional). No, we need bank-width. It's device-width which can be optional. -- dwmw2