/storage/repos/svcomp/c/termination-crafted/NonTermination3-1.c:20:8: warning: Access into array local variable "main::a" possibly out of bounds [a] (Analyzer-Possible_Out_Of_Bounds)