}
/**
* Read a TxAbort from a byte array, created by TxAbort_write
*/
public static Result_TxAbortDecodeErrorZ read(byte[] ser) {
}
/**
* Read a TxAbort from a byte array, created by TxAbort_write
*/
public static Result_TxAbortDecodeErrorZ read(byte[] ser) {