/* This function copies the string contents, including the zero terminator, from source to destination. The caller is responsible for providing memory for the destination string, either on the stack, static, or dynamically allocated. */
void wtk_copy_string(char *dest, char const *source)
/* This function copies the string contents, including the zero terminator, from source to destination. The caller is responsible for providing memory for the destination string, either on the stack, static, or dynamically allocated. */
void wtk_copy_string(char *dest, char const *source)
{
	Assert(dest);
	Assert(source);
	while (*source != '\0') {
		*dest = *source;
		++dest;
		++source;
	}
	*dest = *source;
}