Retrieve 1st 3 characters from string

char source[] = "Primeiro";
char destination[4];

for(int i = 0; i < 3; i++) destination[i] = source[i];
destination[3] = '\0';