Added exec.mli interface