z88dk/libsrc/stdio/c128
