x86_64: stdio.cmxs
