concrete test case

concrete test case

See low level test case.