Symbol: satWriteAndVerify10