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