Some code is provided along with the code given at TC-7 (TC-7 Given Code). See The src/target/ia32 Directory.