Update sym_exec.py