Start
  p_0
    'a'@(1:1-1:2)
    x
      'a'@(1:2-1:3)
    'a'@(1:3-1:4)
  Eof@(1:4-1:4)=''