writeutf8

stdin

print

input

write

writebytes