x86_64: duration.cmxs
