}
/**
* Read a BigSize from a byte array, created by BigSize_write
*/
public static Result_BigSizeDecodeErrorZ read(byte[] ser) {
}
/**
* Read a BigSize from a byte array, created by BigSize_write
*/
public static Result_BigSizeDecodeErrorZ read(byte[] ser) {