concolic execution HERE WE COME! YEAH BABY