Delete Word32.sml~