Rename 'copy_of_Int32.php'