List<int> shake_128(List<int> inputBytes, int outputByteLength) { return _Keccak(1344, 256, inputBytes, 0x1F, outputByteLength); }