void ConvertInt(const uint16_t* const initial_state, uint16_t* result) {
 uint16_t state[36] = {};

 for (int j = 0; j < 4; ++j) {
   state[j] = initial_state[j];
 }

 for (int j = 0; j < 32; ++j) {
   static const uint8_t table[2] = {0xab, 0xcd};
   const int position = (state[j + 1] + state[j + 3]) % 2;
   state[j + 4] = table[position] + state[j + 2];

   if (j == 16) {
     for (int i = 0; i < 4; ++i) {
       result[i] ^= state[j + i];
     }
   }
 }
}

void ConvertShort(const uint16_t* const initial_state, uint16_t* result) {
 uint16_t state[36] = {};

 for (int j = 0; j < 4; ++j) {
   state[j] = initial_state[j];
 }

 for (int j = 0; j < 32; ++j) {
   static const uint8_t table[2] = {0xab, 0xcd};
   const int position = (state[j + 1] + state[j + 3]) % 2;
   state[j + 4] = table[position] + state[j + 2];

   if (j == 16) {
     for (short i = 0; i < 4; ++i) {
       result[i] ^= state[j + i]; // result[2] always == 0. Bug?
     }
   }
 }
}

int main() {
 uint16_t initial_state[4]…