#include<stdio.h>

char *format_double_r(double number, char *restrict buffer){
	sprintf(buffer, "%.2lf", number);
	return buffer;
}

void copy_string(const char *restrict source, char *restrict destination){
	while(*destination++ = *source++);
}

int main(){
	char buffer[24];
	puts(format_double_r(625.12345, buffer));

	char fruit[] = "persimmon";
	char copy[100];
	copy_string(fruit, copy);
	printf("copy = %s\n", copy);
	copy_string(fruit, fruit);
	printf("fruit = %s\n", fruit);
	return 0;
}