exact_copy() added