ref: eab0f16acb161defcd8e6fa258c361df7e51968e
parent: aeb291f9491d8ef630d8b1e41116ebe4080fb8e3
author: Ori Bernstein <ori@eigenstate.org>
date: Tue Oct 7 08:18:12 EDT 2014
Work on trimming BBs and inseting Orets.
This is to enable work on checking BBs for missed returns. This
seems to be working, but is overzealous, and will error out
when we try to call terminating functions like die().