Үүнийг мессежээр илгээх: Software Verification for Weak Memory via Program Transformation