Rename 4.rs to 004.rs