Rename cast.cpp