convert jingque.cc to single.hpp