$str = '';
/** @var array<int, ParagonIE_Sodium_Core32_Int64> $ctxA */
$ctxA =
$ctx[0
]->
toArray();
# uint64_t h[8];
for ($i = 0;
$i < 8; ++
$i) { if (!
($ctxA[$i] instanceof ParagonIE_Sodium_Core32_Int64
)) { throw new TypeError('Not an instance of Int64'
);
} /** @var ParagonIE_Sodium_Core32_Int64 $ctxAi */
$ctxAi =
$ctxA[$i];
$str .=
$ctxAi->
toReverseString();
} # uint64_t t[2];
# uint64_t f[2];
for ($i = 1;
$i < 3; ++
$i) { /** @var array<int, ParagonIE_Sodium_Core32_Int64> $ctxA */
$ctxA =
$ctx[$i]->
toArray();
/** @var ParagonIE_Sodium_Core32_Int64 $ctxA1 */
$ctxA1 =
$ctxA[0
];
/** @var ParagonIE_Sodium_Core32_Int64 $ctxA2 */
$ctxA2 =
$ctxA[1
];