compiles and c driver prints correct message