separate instrumenter and the concolic library.