let no_execution = ref false