Answer to question 1: My program is simply Z2; I2; I2; I2

Answer to question 2: My program fails under the circumstances that the values in locations 0 and 1 do not sum to 3.

(I mean, as long as we're expected to give answers with significant failure conditions...)