Edit: module_to_cil.h