$ctxA =
$ctx[$i]->
toArray();
/** @var ParagonIE_Sodium_Core32_Int64 $ctxA1 */
$ctxA1 =
$ctxA[0
];
/** @var ParagonIE_Sodium_Core32_Int64 $ctxA2 */
$ctxA2 =
$ctxA[1
];
$str .=
$ctxA1->
toReverseString();
$str .=
$ctxA2->
toReverseString();
} # uint8_t buf[2 * 128];
$str .= self::
SplFixedArrayToString($ctx[3
]);
/** @var int $ctx4 */
$ctx4 =
$ctx[4
];
# size_t buflen;
$str .=
implode('', array
( self::
intToChr($ctx4 & 0xff
),
self::
intToChr(($ctx4 >> 8
) & 0xff
),
self::
intToChr(($ctx4 >> 16
) & 0xff
),
self::
intToChr(($ctx4 >> 24
) & 0xff
),
"\x00\x00\x00\x00"