* main_codeslicer.ml: todo