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