Implement writeRealCS
Implement writeSignedCSTag