minix3/lib/libmthread/key.pico