Don't crash with 'python -OO'.