gen vN+1 todo: stop and evaluate progress here - evaluate direct/indirect use - evaluate use of temporary in unary dereference - evaluate load_temp - evaluate gen_copy then: - temporary test suite - address non-object field/index/etc access - calls - casts - slices, slice length - globals stop and evaluate progress here then: - tagged unions - tuples - if stop and evaluate progress here