static XdrSCVal forI64(int value) { XdrSCVal val = XdrSCVal(XdrSCValType.SCV_I64); val.i64 = XdrInt64(value); return val; }