The program compiles, but it doesn't verify