Compilable, but is it correct?