Output a 32 bit unicode character as UTF-8 octets.
At most 4 octets will be written to ptr. The ptr will be advanced to the next character position.
| ptr |
pointer to write the character to |
| c |
a Unicode character to write |