let
new_empty_slice fi = new_slice fi
None