/* __BITS(m, n): bits m through n, m < n. */