Uncommenting int_copy_test