]> git.neil.brown.name Git - ocean/search
oceani: create a separate 'exec' for the while/do part