> > 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.