Rename 1507.cpp to 1508.cpp