let prologue () =
  let sep_of = Value_parameters.SeparateStmtOf.get() in
  if sep_of <> 0
  then begin
      let sep_case = Value_parameters.SeparateStmtWord.get() in
      Value_parameters.feedback "Part of a case analysis: %d of %d"
        sep_case
        sep_of;      
      assert (sep_of >= 2);
      assert (sep_of <= 536870912); (* should be enough for anyone *)
      assert (sep_of land (pred sep_of) = 0); (* power of two *)
      assert (sep_case >= 1);
      assert (sep_case <= sep_of);

      mask := sep_of lsr 1;
    end
  else begin
      mask := 0;
    end