This compiles with g++