Start
  list_many
    id@(1:1-1:4)='ida'
    list_many
      id@(1:5-1:8)='idb'
      list_one
        id@(1:9-1:12)='idc'
  Eof@(2:1-2:1)=''