[xpi0t0s]

The loop does not modify a. Look carefully at the 3rd clause in the for statement.