checkpoint
checkpoint
stack growth should add PTE_I