compile-time-known upper bound. Too bad the compiler can't figure this out itself. (From Martin Cracauer.)