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