...
...
...
...
rewrite (FIND) in modified Sweet16.  Things are still a little borked in the outer interpreter