Concolic_testing loading ...