Compilable with g++ 4.7.3.