Refactorings in Binary
Example of what it might look like to generate the thing