This file is used by test_raw.py.