Transpose these arguments to match the book
Transformation for boxing mutable variables