List<int> shake_256(List<int> inputBytes, int outputByteLength) { return _Keccak(1088, 512, inputBytes, 0x1F, outputByteLength); }