xdata unsigned char Buffer1[256] _at_ 0x3000;
xdata unsigned char Buffer2[256] _at_ 0x4000;

void main()
{
  unsigned int index;
  unsigned char xdata * ptr1;
  unsigned char xdata * ptr2;

  ptr1 = &Buffer1;
  ptr2 = &Buffer2;
  for (index=0; index <= 255; index++) {
    *ptr2++ = *ptr1++;
  }
}