x86_64: int_repr.cmxs
