Use builtin.copy more