Script for invoking symbolic exec