Test code for precompilation bug

This passes its tests. The objective here is to expand it until it stops passing
tests when compiled to .pir files.