この資料をSMS送信: Software Verification for Weak Memory via Program Transformation