Exe2: thinning and renaming.
<< := >> WIP