The code should compile.