diff --git a/crypto_sign/sphincs-sha256-128f-robust/clean/sha256.c b/crypto_sign/sphincs-sha256-128f-robust/clean/sha256.c
index b35cf078..abecf7d7 100644
--- a/crypto_sign/sphincs-sha256-128f-robust/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-128f-robust/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256128FROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256128FROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-128f-simple/clean/sha256.c b/crypto_sign/sphincs-sha256-128f-simple/clean/sha256.c
index 7d68478a..f37d567b 100644
--- a/crypto_sign/sphincs-sha256-128f-simple/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-128f-simple/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-128s-robust/clean/sha256.c b/crypto_sign/sphincs-sha256-128s-robust/clean/sha256.c
index 80f661aa..27d2fbad 100644
--- a/crypto_sign/sphincs-sha256-128s-robust/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-128s-robust/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256128SROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256128SROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-128s-simple/clean/sha256.c b/crypto_sign/sphincs-sha256-128s-simple/clean/sha256.c
index d6420aa6..b52f6c49 100644
--- a/crypto_sign/sphincs-sha256-128s-simple/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-128s-simple/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256128SSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256128SSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-192f-robust/clean/sha256.c b/crypto_sign/sphincs-sha256-192f-robust/clean/sha256.c
index af033343..4f112ae9 100644
--- a/crypto_sign/sphincs-sha256-192f-robust/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-192f-robust/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256192FROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256192FROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-192f-simple/clean/sha256.c b/crypto_sign/sphincs-sha256-192f-simple/clean/sha256.c
index 2dfc743c..425fd631 100644
--- a/crypto_sign/sphincs-sha256-192f-simple/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-192f-simple/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256192FSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256192FSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-192s-robust/clean/sha256.c b/crypto_sign/sphincs-sha256-192s-robust/clean/sha256.c
index aaef0025..2d94d069 100644
--- a/crypto_sign/sphincs-sha256-192s-robust/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-192s-robust/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256192SROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256192SROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-192s-simple/clean/sha256.c b/crypto_sign/sphincs-sha256-192s-simple/clean/sha256.c
index 5d53eae9..d6fe5626 100644
--- a/crypto_sign/sphincs-sha256-192s-simple/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-192s-simple/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256192SSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256192SSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-256f-robust/clean/sha256.c b/crypto_sign/sphincs-sha256-256f-robust/clean/sha256.c
index 552b898d..294b0de6 100644
--- a/crypto_sign/sphincs-sha256-256f-robust/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-256f-robust/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256256FROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256256FROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-256f-simple/clean/sha256.c b/crypto_sign/sphincs-sha256-256f-simple/clean/sha256.c
index 972f5cde..13d1aece 100644
--- a/crypto_sign/sphincs-sha256-256f-simple/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-256f-simple/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256256FSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256256FSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-256s-robust/clean/sha256.c b/crypto_sign/sphincs-sha256-256s-robust/clean/sha256.c
index 43e2c6ce..181009b8 100644
--- a/crypto_sign/sphincs-sha256-256s-robust/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-256s-robust/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256256SROBUST_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256256SROBUST_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash
diff --git a/crypto_sign/sphincs-sha256-256s-simple/clean/sha256.c b/crypto_sign/sphincs-sha256-256s-simple/clean/sha256.c
index 7a4e3b23..acaa08e0 100644
--- a/crypto_sign/sphincs-sha256-256s-simple/clean/sha256.c
+++ b/crypto_sign/sphincs-sha256-256s-simple/clean/sha256.c
@@ -50,6 +50,8 @@ void PQCLEAN_SPHINCSSHA256256SSIMPLE_CLEAN_mgf1(
     }
 }
 
+uint8_t PQCLEAN_SPHINCSSHA256256SSIMPLE_CLEAN_state_seeded[40];
+
 /**
  * Absorb the constant pub_seed using one round of the compression function
  * This initializes state_seeded, which can then be reused in thash