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