copy_val
copy_val(range_addr, ranges + i, nregaddr);
copy_val(range_size, ranges + i + nregaddr + naddr, nsize);
copy_val(last_addr, prop_buf + offset, naddr);
copy_val(this_addr, prop_buf + offset, prev_naddr);
copy_val(this_addr, prop_buf + offset + prev_naddr, naddr);