Download patch
ref: 26d9afbaac70ccfc12c91f54b05166d38769284f parent: aab1653d3e737964ae91755448b23c8f9b2bbfc5 author: Ori Bernstein <ori@eigenstate.org> date: Thu Dec 19 17:34:59 EST 2013
Push and pop stabs correctly when loading usefiles.