public static byte[] toCDR(UtcT time)
{
// TODO: make this more efficient with mere bit shifting
byte[] buffer = new byte[25];
CDROutputStream out = new CDROutputStream(buffer);
out.beginEncapsulatedArray();
UtcTHelper.write(out, time);
return out.getBufferCopy();
}
/**