z88dk/libsrc/stdio/x07
