void ctrcpy_F(void __flash *fptr, void *sptr){
     char byte;
     char *sp = (char*)sptr;
     char *fp = (char*)fptr;

     while(0 != (byte = *fp++))/* массив fptr обязательно должен заканчиваться нулем, а массив sptr иметь размер равный или больший размеру fptr */
          *sptr++ = byte;
}

void strcpy_F(void __flash *fptr, void *sptr){
     char byte;

/* Так как входные указатели имеют "пустой" тип (а это, между прочим, очень удобно, допустим при передаче указателей типов, отличных от char) преобразуем их к типу char */
     char *sp = (char*)sptr; /* преобразовываем указатель к типу char */
     char __flash *fp = (char*)fptr; /* преобразовываем указатель к типу __flash char */
    

/* Массив fptr обязательно должен заканчиваться нулем, а массив sptr иметь размер равный или больший размеру fptr. Нижележащая строчка копирует данные в byte по указателю fp, инкрементирует этот указатель, и проверяет byte на равенство нулю. Если byte НЕ равен нулю, выполняется тело цикла, иначе выход */
     while(0 != (byte = *fp++))

          *sp++ = byte; /* записываем байт по указателю sp и инкрементируем указатель для следующего байта */
}

char* strcpy_F(const __flash char* from, char* to)
{
   char* cp = to;
   while(*cp++ = *from++) continue;
   return to;
}