Trying to figure out how to print a UTF32 character in C and so far the answer seems to be "you can't"