minix3/lib/libtimers/libtimers.a