z88dk/libsrc/stdio/8080
