minix3/lib/libddekit/build/ddekit/thread.pico