minix3/lib/libtimers/tmrs_exp.pico