(source [0, 0] - [0, 13]
  (str_lit [0, 0] - [0, 13]))
