#ifndef SPX_FIPS202X4_H
#define SPX_FIPS202X4_H

#include <immintrin.h>

#include "params.h"

#define shake128x4 SPX_NAMESPACE(shake128x4)
void shake128x4(unsigned char *out0,
                unsigned char *out1,
                unsigned char *out2,
                unsigned char *out3, unsigned long long outlen,
                unsigned char *in0,
                unsigned char *in1,
                unsigned char *in2,
                unsigned char *in3, unsigned long long inlen);

#define shake256x4 SPX_NAMESPACE(shake256x4)
void shake256x4(unsigned char *out0,
                unsigned char *out1,
                unsigned char *out2,
                unsigned char *out3, unsigned long long outlen,
                unsigned char *in0,
                unsigned char *in1,
                unsigned char *in2,
                unsigned char *in3, unsigned long long inlen);

#endif