fails:IO#putc writes Numerics that fit in a C char
