Distilled test case