[broken] fixed reachable examples
[broken] fixed start_view_rtrancl