No matches were found for subject:"\[Ada\] Do not assume that a volatile variable is valid"