I don't really understand why it is not verifying anything. It is compiling all right, and the output seems correct.