* main_codeslicer.ml: purpose!