Added apps.mli interface