@Contract(pure=true)
  public static byte @NotNull [] append(byte @NotNull [] array, byte value) {
    array = realloc(array, array.length + 1);
    array[array.length - 1] = value;
    return array;
  }
@Contract(pure=true)
  public static byte @NotNull [] append(byte @NotNull [] array, byte value)