"a.cmx" or "b.cmx": for-pack(C)
