This is a helper file, not a testcase.