Enabling symbolic execution.