Here's the prompt immediately before that, writing the code to a file. (Which I'm now realizing wasn't quite formatted right, but it worked anyway.)

Interestingly, it didn't like #include <stdio.h> so I had to manually add the declaration for printf.