void ex_copy()
{
}