x86_64: easy_format.cmxs
