should be no compilation error