TC-X Given Code

No additional code is provided, see TC-7 Given Code.

For a description of the new module, see The src/target/ia32 Directory.