(copy_loop_body): Delete May 10 change.
drwxr-xr-x - gcc