pomap_intf.cmi: store_intf.cmi