Added case_rev as stl