Currently our printf implementation just ignores the length modifier for char. We should use the internal wcrtomb to first convert the wchar to utf-8 then write it to the output.
Standard: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3220.pdf#page=343