Symbol: satWriteAndVerify12