static byte[] longToBytes(long l) {
  ret new byte[] {
    (byte) (l >>> 56),
    (byte) (l >>> 48),
    (byte) (l >>> 40),
    (byte) (l >>> 32),
    (byte) (l >>> 24),
    (byte) (l >>> 16),
    (byte) (l >>> 8),
    (byte) l};
}