Removed x64::dest_t since the difference from src_t does not avoid many checks and increases complexity.