What is missing from the AES Validation Standard Pseudocode for the Monte Carlo Tests?

Question

I\'m trying to use the prescribed validation procedure for AES-128 in CBC mode, as defined in the NIST AESAVS standard. One of the more important parts of the test suite is the