s/env.values/env.regs/g
perform tear-off operation lazily