The functions that implement the test cases are defined in test case libraries.