compilable test case