recode sky.cpp