A worked example of copy-and-patch compilation