
        Check for Extra pointer dereferencing. Issue #7640.

2a99915