let option_name = "-mem-exec-all"