15.  fragment address

|=  [nedl=* hay=*]
=/  count=@  1
|-  ^-  (unit @)
?:  =(nedl hay)
  [~ count]
?@  hay  ~
=/  head-search  $(hay -.hay, count (mul 2 count))
?~  head-search
  $(hay +.hay, count +((mul 2 count)))
head-search

16.  find and replace first fragment match

|=  [nedl=* hay=* new=*]
^-  *
?:  =(nedl hay)  new
?@  hay  hay
=/  new-head  $(hay -.hay)
?:  =(new-head -.hay)
  [-.hay $(hay +.hay)]
[new-head +.hay]

17.  list of addresses of all fragment matches

|=  [nedl=* hay=*]
=/  count=@  1
=|  acc=(list @)
|-  ^-  (list @)
?:  =(nedl hay)
  [count acc]
?@  hay  acc
%=  $
  acc  %=  $
         hay  +.hay
         count  +((mul 2 count))
       ==
  hay  -.hay
  count  (mul 2 count)
==