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