let
new_init_slice fi marks = new_slice fi (
Some
marks)