> > conts: {handler: Ssa.Label.t option,
> > live: Machine.Operand.t list,
> > size: int} list
>
> I actually changed it to
>
> liveFrame: (Ssa.Label.t option * Machine.Operand.t list) list,
> cont: {size: int} option,
>
> Your alternative would be fine. But it's still a question of figuring out
> the right size.
I am confused. These are different. Yours has one size -- mine has
one per stub.