This way, we only have a 32*32 = 1024-long
  sequence, but now of integers in the range 0..511.