Can these C strings ever be NULL? If so, this would crash.