3.2.2. The Static Arguments Transformation

TODO