hbugs_common.cmx: hbugs_types.cmi hbugs_common.cmi
hbugs_id_generator.cmo: hbugs_id_generator.cmi
hbugs_id_generator.cmx: hbugs_id_generator.cmi
hbugs_common.cmx: hbugs_types.cmi hbugs_common.cmi
hbugs_id_generator.cmo: hbugs_id_generator.cmi
hbugs_id_generator.cmx: hbugs_id_generator.cmi