Rename 9 to 9.c