Syntax error on line 19: Syntax Error after keyword havoc.
            havoc status'; // Under-specified next value of status when request is false
