set_number_at
insert_op2 (set_number_at, laststart, 5, lower_bound, b);
insert_op2 (set_number_at, laststart, b - laststart,
case set_number_at:
case set_number_at:
case set_number_at:
case set_number_at: