Document use_switch directive.
Fail test when expected C compiler error not encountered.
Simplify switch transform test.