Branch from r4024 for x86_64 port ---------------------------------------------------------------------- A mlton/branches/on-20050822-x86_64-branch/ ---------------------------------------------------------------------- Copied: mlton/branches/on-20050822-x86_64-branch (from rev 4024, mlton/trunk)