- gc checks: what if stack pointer is not up-to-date at gc time? is _gc a height-sync point? - delete-useless-conditionals: don't do it if there are phis afterward - intervals-intersect? -- is it just wrong? - splitting for spilling in a lifetime hole - spill-new not implemented yet - delete record-spill/reload slots