Modify panic string in sequtil/CompareString
WIP: STM code ported, ready to test