Moving module C in mli