src/tests/lib/libtre