make stack fixed size
flatten registers into fields for performance reasons
refactor such that rpython can guarauntee that registers do no affect the stack