This sections collect libraries in the btea test phase. Everything in these libraries may change.
D.14.1 findiff_lib