Now I see. These functions are only used in the test cases.