(* $Id$ *) let compile_multcase _ _ _ = failwith "compile_multcase: TODO"