new reachable seems good
a rather long example of reachable
...
fixed
cleanup
code equation for view_code