Syntax error on line 35: Syntax Error after keyword havoc.
        havoc action : boolean;
