-record(shake128, {output_length :: integer()}).