(source [0, 0] - [0, 7]
  (num_lit [0, 0] - [0, 7]))
