Syntax error on line 18: Syntax Error in Expression.
            status' = choose {
