Syntax error on line 30: Syntax Error after keyword havoc.
            havoc status';
