let option_name = "-mem-exec"