Should we mention why we bind all the old free variables of a procedure at the start of the translated procedure? (The reason is so that if the resulting code is safe for space, then so is the original.)