static IF0_Byte byteArrayToIF0_Byte(byte[] array) {
  ret new IF0_Byte {
    int i;
    
    public byte get() { ret array[i++]; }
  };
}