implemented no_case directive