Syntax error on line 19: .
        modifies s, top_index
