Extension of DRBG selftests using new data.

Test PR and no PR and test initial generate before the reseed too.

Move selftest data to separate fips_drbg_selftest.h header file.

2 files changed, 2155 insertions, 902 deletions

diff --git a/fips/rand/fips_drbg_selftest.c b/fips/rand/fips_drbg_selftest.c
index be892d810e..3358f7d443 100644
--- a/fips/rand/fips_drbg_selftest.c
+++ b/fips/rand/fips_drbg_selftest.c
@@ -60,9 +60,13 @@
 #include "fips_rand_lcl.h"
 #include "fips_locl.h"
 
+#include "fips_drbg_selftest.h"
+
 typedef struct {
 	int nid;
 	unsigned int flags;
+
+	/* KAT data for no PR */
 	const unsigned char *ent;
 	size_t entlen;
 	const unsigned char *nonce;
@@ -71,14 +75,37 @@ typedef struct {
 	size_t perslen;
 	const unsigned char *adin;
 	size_t adinlen;
-	const unsigned char *entpr;
-	size_t entprlen;
-	const unsigned char *ading;
-	size_t adinglen;
-	const unsigned char *entg;
-	size_t entglen;
+	const unsigned char *entreseed;
+	size_t entreseedlen;
+	const unsigned char *adinreseed;
+	size_t adinreseedlen;
+	const unsigned char *adin2;
+	size_t adin2len;
 	const unsigned char *kat;
 	size_t katlen;
+	const unsigned char *kat2;
+	size_t kat2len;
+
+	/* KAT data for PR */
+	const unsigned char *ent_pr;
+	size_t entlen_pr;
+	const unsigned char *nonce_pr;
+	size_t noncelen_pr;
+	const unsigned char *pers_pr;
+	size_t perslen_pr;
+	const unsigned char *adin_pr;
+	size_t adinlen_pr;
+	const unsigned char *entpr_pr;
+	size_t entprlen_pr;
+	const unsigned char *ading_pr;
+	size_t adinglen_pr;
+	const unsigned char *entg_pr;
+	size_t entglen_pr;
+	const unsigned char *kat_pr;
+	size_t katlen_pr;
+	const unsigned char *kat2_pr;
+	size_t kat2len_pr;
+
 	} DRBG_SELFTEST_DATA;
 
 #define make_drbg_test_data(nid, flag, pr) { nid, flag | DRBG_FLAG_TEST, \
@@ -86,900 +113,25 @@ typedef struct {
 	pr##_nonce, sizeof(pr##_nonce), \
 	pr##_personalizationstring, sizeof(pr##_personalizationstring), \
 	pr##_additionalinput, sizeof(pr##_additionalinput), \
-	pr##_entropyinputpr, sizeof(pr##_entropyinputpr), \
+	pr##_entropyinputreseed, sizeof(pr##_entropyinputreseed), \
+	pr##_additionalinputreseed, sizeof(pr##_additionalinputreseed), \
 	pr##_additionalinput2, sizeof(pr##_additionalinput2), \
-	pr##_entropyinputpr2, sizeof(pr##_entropyinputpr2), \
+	pr##_int_returnedbits, sizeof(pr##_int_returnedbits), \
 	pr##_returnedbits, sizeof(pr##_returnedbits), \
+	pr##_pr_entropyinput, sizeof(pr##_pr_entropyinput), \
+	pr##_pr_nonce, sizeof(pr##_pr_nonce), \
+	pr##_pr_personalizationstring, sizeof(pr##_pr_personalizationstring), \
+	pr##_pr_additionalinput, sizeof(pr##_pr_additionalinput), \
+	pr##_pr_entropyinputpr, sizeof(pr##_pr_entropyinputpr), \
+	pr##_pr_additionalinput2, sizeof(pr##_pr_additionalinput2), \
+	pr##_pr_entropyinputpr2, sizeof(pr##_pr_entropyinputpr2), \
+	pr##_pr_int_returnedbits, sizeof(pr##_pr_int_returnedbits), \
+	pr##_pr_returnedbits, sizeof(pr##_pr_returnedbits), \
 	}
 
 #define make_drbg_test_data_df(nid, pr) \
 	make_drbg_test_data(nid, DRBG_FLAG_CTR_USE_DF, pr)
 
-/* AES-128 use df PR */
-static const unsigned char aes_128_use_df_entropyinput[] =
-	{
-	0x98,0x38,0x99,0x81,0x1d,0x56,0x1a,0x04,0xb0,0x50,0xcd,0x14,
-	0xc3,0x90,0x0b,0x4f
-	};
-
-static const unsigned char aes_128_use_df_nonce[] =
-	{
-	0xa8,0xa0,0x80,0x8a,0x65,0xb7,0x38,0x22
-	};
-
-static const unsigned char aes_128_use_df_personalizationstring[] =
-	{
-	0x67,0x4f,0x85,0x01,0x15,0x51,0x85,0xdd,0x97,0xda,0xf7,0x09,
-	0xbc,0x61,0xaf,0x23
-	};
-
-static const unsigned char aes_128_use_df_additionalinput[] =
-	{
-	0x01,0xba,0xa8,0x13,0x9e,0xd4,0xb7,0xff,0x86,0x34,0x01,0xa0,
-	0xb6,0x17,0x96,0x55
-	};
-
-static const unsigned char aes_128_use_df_entropyinputpr[] =
-	{
-	0x60,0x76,0xf6,0x12,0x6b,0x92,0xbe,0xd7,0x75,0x6e,0x78,0x1f,
-	0x0d,0xc1,0x0d,0x56
-	};
-
-static const unsigned char aes_128_use_df_additionalinput2[] =
-	{
-	0xf0,0xd6,0x5b,0xa3,0x7c,0x1e,0xa3,0x65,0x08,0xf9,0xdd,0x90,
-	0xde,0x5f,0xb4,0x27
-	};
-
-static const unsigned char aes_128_use_df_entropyinputpr2[] =
-	{
-	0x34,0x55,0x02,0xa9,0x30,0xf0,0x78,0x0a,0xa2,0xae,0x74,0x46,
-	0xe5,0xad,0xbb,0xd6
-	};
-
-static const unsigned char aes_128_use_df_returnedbits[] =
-	{
-	0x48,0x52,0xb6,0x9f,0xf2,0xfe,0xe1,0x12,0xaf,0x22,0x87,0xd7,
-	0x46,0x64,0x96,0xec
-	};
-
-
-/* AES-192 use df PR */
-static const unsigned char aes_192_use_df_entropyinput[] =
-	{
-	0x12,0xf6,0xff,0xc5,0x81,0x8c,0x15,0xd7,0x33,0x0c,0x4f,0x45,
-	0xbf,0x2a,0x97,0xd2,0xe0,0xe0,0xbd,0x48,0x4e,0x83,0x76,0x25
-	};
-
-static const unsigned char aes_192_use_df_nonce[] =
-	{
-	0x35,0xc8,0x16,0x8c,0xbd,0x1f,0x53,0xc4,0x6e,0x47,0x3a,0x74,
-	0x83,0xe6,0xe4,0x78
-	};
-
-static const unsigned char aes_192_use_df_personalizationstring[] =
-	{
-	0xd6,0xe2,0x27,0x88,0xf4,0xce,0x9d,0xfc,0x92,0xde,0x07,0x57,
-	0x43,0x74,0x17,0x6e,0x63,0x54,0xaf,0x5a,0x3c,0xf8,0x23,0x65,
-	0x5a,0x15,0xb0,0x35,0x2a,0x6c,0x3c,0x3a
-	};
-
-static const unsigned char aes_192_use_df_additionalinput[] =
-	{
-	0xad,0xa4,0x47,0xa4,0xcf,0x46,0x7b,0xf7,0x19,0xcc,0xda,0xbe,
-	0x11,0x42,0x85,0xaa,0x21,0x16,0x27,0xe6,0x35,0xdf,0xb5,0x87,
-	0x96,0x68,0x64,0x35,0x08,0x02,0xe9,0x19
-	};
-
-static const unsigned char aes_192_use_df_entropyinputpr[] =
-	{
-	0x6f,0x41,0x2d,0x5e,0xd6,0xc9,0xf8,0x6a,0x22,0x00,0xe0,0xfb,
-	0x4b,0xcd,0xbe,0x2d,0x98,0xff,0x1b,0xe2,0xb9,0x95,0x73,0xac
-	};
-
-static const unsigned char aes_192_use_df_additionalinput2[] =
-	{
-	0x51,0xea,0xd8,0x8e,0xa0,0xd7,0x9c,0x22,0x3c,0x01,0xf6,0xdb,
-	0xe9,0xe4,0x60,0x1e,0x54,0x56,0x3b,0x5c,0xd2,0xf3,0xa0,0x1d,
-	0x5c,0xd0,0x85,0x48,0xc9,0x5f,0x12,0xb7
-	};
-
-static const unsigned char aes_192_use_df_entropyinputpr2[] =
-	{
-	0xf7,0x1f,0x9f,0x0e,0x14,0x30,0xde,0x4c,0xf9,0x34,0x49,0xc5,
-	0x24,0x91,0xe3,0x30,0xfd,0x5f,0x1e,0x79,0x30,0xf5,0x58,0xe6
-	};
-
-static const unsigned char aes_192_use_df_returnedbits[] =
-	{
-	0x5b,0x8a,0xca,0x2e,0x74,0xb6,0x6f,0x96,0x48,0xb0,0xe4,0xc1,
-	0x68,0x40,0xac,0xc7
-	};
-
-
-/* AES-256 use df PR */
-static const unsigned char aes_256_use_df_entropyinput[] =
-	{
-	0x2a,0x02,0xbe,0xaa,0xba,0xb4,0x6a,0x73,0x53,0x85,0xa9,0x2a,
-	0xae,0x4a,0xdc,0xeb,0xe8,0x07,0xfb,0xf3,0xbc,0xe3,0xf4,0x2e,
-	0x00,0x53,0x46,0x00,0x64,0x80,0xdd,0x57
-	};
-
-static const unsigned char aes_256_use_df_nonce[] =
-	{
-	0x2c,0x86,0xa2,0xf9,0x70,0xb5,0xca,0xd3,0x9a,0x08,0xdc,0xb6,
-	0x6b,0xce,0xe5,0x05
-	};
-
-static const unsigned char aes_256_use_df_personalizationstring[] =
-	{
-	0xdb,0x6c,0xe1,0x84,0xbe,0x07,0xae,0x55,0x4e,0x34,0x5d,0xb8,
-	0x47,0x98,0x85,0xe0,0x3d,0x3e,0x9f,0x60,0xfa,0x1c,0x7d,0x57,
-	0x19,0xe5,0x09,0xdc,0xe2,0x10,0x41,0xab
-	};
-
-static const unsigned char aes_256_use_df_additionalinput[] =
-	{
-	0x1d,0xc3,0x11,0x93,0xcb,0xc4,0xf6,0xbb,0x57,0xb0,0x09,0x70,
-	0xb9,0xc6,0x05,0x86,0x4e,0x75,0x95,0x7d,0x3d,0xec,0xce,0xb4,
-	0x0b,0xe4,0xef,0xd1,0x7b,0xab,0x56,0x6f
-	};
-
-static const unsigned char aes_256_use_df_entropyinputpr[] =
-	{
-	0x8f,0xb9,0xab,0xf9,0x33,0xcc,0xbe,0xc6,0xbd,0x8b,0x61,0x5a,
-	0xec,0xc6,0x4a,0x5b,0x03,0x21,0xe7,0x37,0x03,0x02,0xbc,0xa5,
-	0x28,0xb9,0xfe,0x7a,0xa8,0xef,0x6f,0xb0
-	};
-
-static const unsigned char aes_256_use_df_additionalinput2[] =
-	{
-	0xd6,0x98,0x63,0x48,0x94,0x9f,0x26,0xf7,0x1f,0x44,0x13,0x23,
-	0xa7,0xde,0x09,0x12,0x90,0x04,0xce,0xbc,0xac,0x82,0x70,0x58,
-	0xba,0x7d,0xdc,0x25,0x1e,0xe4,0xbf,0x7c
-	};
-
-static const unsigned char aes_256_use_df_entropyinputpr2[] =
-	{
-	0xe5,0x04,0xef,0x7c,0x8d,0x02,0xd7,0x68,0x95,0x4c,0x64,0x34,
-	0x30,0x3a,0xcb,0x07,0xc9,0x0a,0xef,0x26,0xc6,0x57,0x43,0xfb,
-	0x7d,0xbe,0xe2,0x61,0x75,0xcd,0xee,0x34
-	};
-
-static const unsigned char aes_256_use_df_returnedbits[] =
-	{
-	0x75,0x6d,0x16,0xef,0x14,0xae,0xd9,0xc2,0x28,0x0b,0x66,0xff,
-	0x20,0x1f,0x21,0x33
-	};
-
-
-/* AES-128 no df PR */
-static const unsigned char aes_128_no_df_entropyinput[] =
-	{
-	0xbe,0x91,0xb9,0x09,0x91,0x13,0x0b,0xbd,0x7b,0x95,0x77,0xed,
-	0xf2,0x00,0xff,0x2a,0xec,0xbd,0x7a,0x11,0x59,0xe1,0x32,0x1a,
-	0xe3,0x9a,0xbd,0xa2,0xe4,0xd9,0x1a,0x39
-	};
-
-static const unsigned char aes_128_no_df_nonce[] =
-	{
-	0x39,0xeb,0x7a,0x42,0x0b,0x7f,0x4f,0xd5
-	};
-
-static const unsigned char aes_128_no_df_personalizationstring[] =
-	{
-	0xd0,0xe4,0x9c,0xf6,0x2f,0xc8,0xba,0x6d,0xb9,0x91,0x8f,0xc1,
-	0x45,0x5b,0xb9,0x4f,0xdb,0x36,0xd6,0x71,0x2c,0x4b,0x2a,0x4c,
-	0x50,0x4c,0x74,0xdb,0xc5,0x20,0x0b,0x3b
-	};
-
-static const unsigned char aes_128_no_df_additionalinput[] =
-	{
-	0x7c,0x35,0x81,0x03,0x58,0x93,0x24,0xf7,0x9c,0x98,0x4a,0x9d,
-	0x94,0xbd,0x9d,0x77,0x64,0xda,0xa4,0x67,0x66,0xb7,0x43,0xde,
-	0xc5,0xd5,0x72,0x42,0x5a,0x7c,0x41,0x9f
-	};
-
-static const unsigned char aes_128_no_df_entropyinputpr[] =
-	{
-	0x63,0xf6,0x0e,0xfe,0x56,0xad,0x8f,0x37,0xa8,0xa1,0x6a,0x83,
-	0x01,0xac,0x51,0xe0,0x86,0x26,0xce,0x5c,0x57,0x14,0xd8,0xde,
-	0x4d,0x93,0xb6,0x35,0xf4,0x85,0x18,0x60
-	};
-
-static const unsigned char aes_128_no_df_additionalinput2[] =
-	{
-	0x90,0x0f,0x35,0x81,0xc5,0xf5,0xc8,0x1b,0x80,0x99,0xcd,0xe2,
-	0xbb,0xe2,0xc7,0x65,0x40,0x74,0x50,0x2b,0x89,0xb4,0x16,0x60,
-	0xd7,0x1e,0x15,0xbf,0x91,0xc9,0x15,0xc2
-	};
-
-static const unsigned char aes_128_no_df_entropyinputpr2[] =
-	{
-	0xc7,0x9f,0xd6,0x9b,0xe2,0x74,0x3e,0x8c,0x12,0xdd,0x41,0xcd,
-	0x51,0x6b,0xd4,0x71,0x3e,0xd0,0x36,0xc7,0xb9,0xa6,0xaf,0xca,
-	0xc0,0x7e,0x89,0xc4,0x88,0x2b,0x4e,0x43
-	};
-
-static const unsigned char aes_128_no_df_returnedbits[] =
-	{
-	0x8c,0x7f,0x69,0xbf,0xb8,0x07,0x17,0xa6,0x09,0xef,0xd2,0x0a,
-	0x5f,0x20,0x18,0x2f
-	};
-
-
-/* AES-192 no df PR */
-static const unsigned char aes_192_no_df_entropyinput[] =
-	{
-	0xd5,0xcb,0x5b,0xc5,0x5b,0xa6,0x97,0xb6,0x1e,0x57,0x92,0xbb,
-	0x14,0x72,0xeb,0xae,0x44,0x85,0x99,0xa3,0xa3,0x24,0xe5,0x91,
-	0x2e,0x34,0xa7,0x3f,0x48,0x7a,0xc4,0x72,0x54,0x65,0xe6,0x57,
-	0x94,0x1a,0x7c,0x2d
-	};
-
-static const unsigned char aes_192_no_df_nonce[] =
-	{
-	0x74,0x7a,0x38,0x81,0xef,0xca,0xd1,0xb6,0x7b,0xb5,0x1e,0x62,
-	0xf9,0x80,0x2c,0xe5
-	};
-
-static const unsigned char aes_192_no_df_personalizationstring[] =
-	{
-	0x03,0xf8,0xbe,0xe8,0x6a,0x90,0x2a,0x4f,0xbd,0x80,0xd0,0x31,
-	0xf0,0x59,0xa3,0xf6,0x87,0xd8,0x8d,0x0d,0xac,0x27,0xa2,0xd2,
-	0x91,0x72,0xa5,0xc1,0x07,0xac,0xbf,0xdb,0x5d,0xa1,0x7d,0x56,
-	0x7d,0x3f,0x09,0x8b
-	};
-
-static const unsigned char aes_192_no_df_additionalinput[] =
-	{
-	0x3e,0x89,0x1b,0x17,0xcb,0xe3,0xc8,0x76,0x71,0x0d,0xaf,0x97,
-	0x1e,0x73,0xa6,0xc4,0x88,0x3d,0x46,0xad,0xf0,0xba,0xc3,0x7e,
-	0x17,0x10,0x0d,0x20,0x80,0x23,0x26,0xcc,0xe6,0xc4,0xc4,0xd8,
-	0xfe,0x1d,0x2a,0xbc
-	};
-
-static const unsigned char aes_192_no_df_entropyinputpr[] =
-	{
-	0x3f,0x33,0xb8,0x1b,0xe1,0x1b,0xe7,0xbe,0x68,0x6f,0xd2,0xd8,
-	0x6f,0xb6,0xf0,0xd2,0xa1,0x1c,0x83,0x24,0xfe,0x5d,0xf2,0xe9,
-	0x4b,0xf0,0x63,0xa2,0xd8,0x76,0x9e,0x49,0x78,0x64,0x1f,0x98,
-	0xbc,0xee,0x7c,0x99
-	};
-
-static const unsigned char aes_192_no_df_additionalinput2[] =
-	{
-	0x54,0x48,0xf9,0x6a,0x86,0x93,0xf3,0x7b,0x02,0x1b,0xf6,0x46,
-	0x3a,0x49,0x02,0x87,0x3f,0x54,0x82,0x7f,0xa1,0x45,0x41,0xa5,
-	0x88,0x4b,0xaa,0x90,0x12,0x40,0x46,0x22,0xed,0x7a,0x72,0xf7,
-	0x36,0xd5,0x5f,0x0f
-	};
-
-static const unsigned char aes_192_no_df_entropyinputpr2[] =
-	{
-	0x00,0xdf,0xa1,0x50,0xc1,0xb9,0x82,0x7f,0x65,0xea,0x0f,0x14,
-	0x79,0xfe,0x6a,0x95,0x4b,0x96,0xae,0x89,0x28,0x52,0x49,0x05,
-	0xd9,0x00,0x9e,0x79,0x5e,0x04,0xdb,0xbb,0xec,0x09,0x16,0x53,
-	0x23,0xe9,0xac,0x08
-	};
-
-static const unsigned char aes_192_no_df_returnedbits[] =
-	{
-	0x48,0xd6,0x66,0x61,0x93,0x8d,0xff,0x7d,0x42,0xf4,0x41,0x9a,
-	0x01,0x2a,0x34,0x09
-	};
-
-
-/* AES-256 no df PR */
-static const unsigned char aes_256_no_df_entropyinput[] =
-	{
-	0x7e,0x83,0x3f,0xa6,0x39,0xdc,0xcb,0x38,0x17,0x6a,0xa3,0x59,
-	0xa9,0x8c,0x1f,0x50,0xd3,0xdb,0x34,0xdd,0xa4,0x39,0x65,0xe4,
-	0x77,0x17,0x08,0x57,0x49,0x04,0xbd,0x68,0x5c,0x7d,0x2a,0xee,
-	0x0c,0xf2,0xfb,0x16,0xef,0x16,0x18,0x4d,0x32,0x6a,0x26,0x6c
-	};
-
-static const unsigned char aes_256_no_df_nonce[] =
-	{
-	0xa3,0x8a,0xa4,0x6d,0xa6,0xc1,0x40,0xf8,0xa3,0x02,0xf1,0xac,
-	0xf3,0xea,0x7f,0x2d
-	};
-
-static const unsigned char aes_256_no_df_personalizationstring[] =
-	{
-	0xc0,0x54,0x1e,0xa5,0x93,0xd9,0x8b,0x2b,0x43,0x15,0x2c,0x07,
-	0x26,0x25,0xc7,0x08,0xf0,0xb3,0x4b,0x44,0x96,0xfe,0xc7,0xc5,
-	0x64,0x27,0xaa,0x78,0x5b,0xbc,0x40,0x51,0xce,0x89,0x6b,0xc1,
-	0x3f,0x9c,0xa0,0x5c,0x75,0x98,0x24,0xc5,0xe1,0x3e,0x86,0xdb
-	};
-
-static const unsigned char aes_256_no_df_additionalinput[] =
-	{
-	0x0e,0xe3,0x0f,0x07,0x90,0xe2,0xde,0x20,0xb6,0xf7,0x6f,0xef,
-	0x87,0xdc,0x7f,0xc4,0x0d,0x9d,0x05,0x31,0x91,0x87,0x8c,0x9a,
-	0x19,0x53,0xd2,0xf8,0x20,0x91,0xa0,0xef,0x97,0x59,0xea,0x12,
-	0x1b,0x2f,0x29,0x74,0x76,0x35,0xf7,0x71,0x5a,0x96,0xeb,0xbc
-	};
-
-static const unsigned char aes_256_no_df_entropyinputpr[] =
-	{
-	0x37,0x26,0x9a,0xa6,0x28,0xe0,0x35,0x78,0x12,0x42,0x44,0x5c,
-	0x55,0xbc,0xc8,0xb6,0x1f,0x24,0xf3,0x32,0x88,0x02,0x69,0xa7,
-	0xed,0x1d,0xb7,0x4d,0x8b,0x44,0x12,0x21,0x5e,0x60,0x53,0x96,
-	0x3b,0xb9,0x31,0x7f,0x2a,0x87,0xbf,0x3c,0x07,0xbb,0x27,0x22
-	};
-
-static const unsigned char aes_256_no_df_additionalinput2[] =
-	{
-	0xf1,0x24,0x35,0xa6,0x8c,0x93,0x28,0x7e,0x84,0xea,0x3d,0x27,
-	0x44,0x18,0xc9,0x13,0x73,0x49,0xb9,0x83,0x79,0x15,0x29,0x53,
-	0x2f,0xef,0x43,0x06,0xe7,0xcb,0x5c,0x0f,0x9f,0x10,0x4c,0x60,
-	0x7f,0xbf,0x0c,0x37,0x9b,0xe4,0x94,0x26,0xe5,0x3b,0xf5,0x63
-	};
-
-static const unsigned char aes_256_no_df_entropyinputpr2[] =
-	{
-	0xdc,0x91,0x48,0x11,0x63,0x7b,0x79,0x41,0x36,0x8c,0x4f,0xe2,
-	0xc9,0x84,0x04,0x9c,0xdc,0x5b,0x6c,0x8d,0x61,0x52,0xea,0xfa,
-	0x92,0x3b,0xb4,0x36,0x4c,0x06,0x4a,0xd1,0xb1,0x8e,0x32,0x03,
-	0xfd,0xa4,0xf7,0x5a,0xa6,0x5c,0x63,0xa1,0xb9,0x96,0xfa,0x12
-	};
-
-static const unsigned char aes_256_no_df_returnedbits[] =
-	{
-	0x1c,0xba,0xfd,0x48,0x0f,0xf4,0x85,0x63,0xd6,0x7d,0x91,0x14,
-	0xef,0x67,0x6b,0x7f
-	};
-
-/* SHA-1 PR */
-static const unsigned char sha1_entropyinput[] =
-	{
-	0x5b,0xaf,0x30,0x1a,0xdc,0xd1,0x04,0xd7,0x95,0x72,0xd2,0xfb,
-	0xec,0x2d,0x62,0x2b
-	};
-
-static const unsigned char sha1_nonce[] =
-	{
-	0xf3,0xd9,0xcb,0x92,0x5f,0x50,0x4c,0x99
-	};
-
-static const unsigned char sha1_personalizationstring[] =
-	{
-	0x8f,0x56,0x70,0xd9,0x27,0xa2,0xb4,0xf1,0xb3,0xad,0xcf,0x10,
-	0x06,0x16,0x5c,0x11
-	};
-
-static const unsigned char sha1_additionalinput[] =
-	{
-	0x49,0xdd,0x0c,0xb4,0xab,0x84,0xe1,0x7e,0x94,0x20,0xad,0x6c,
-	0xd7,0xd2,0x0b,0x84
-	};
-
-static const unsigned char sha1_entropyinputpr[] =
-	{
-	0x23,0x4a,0xaf,0xf7,0x1a,0x0b,0x7e,0x51,0xdd,0x23,0x51,0x82,
-	0x2c,0x8c,0xa6,0xc5
-	};
-
-static const unsigned char sha1_additionalinput2[] =
-	{
-	0x59,0xe6,0x93,0xcb,0x38,0x23,0xf5,0x7b,0x93,0x5a,0x4d,0xfa,
-	0x11,0xb8,0x88,0xde
-	};
-
-static const unsigned char sha1_entropyinputpr2[] =
-	{
-	0x2e,0x00,0x78,0x5a,0xcd,0x30,0xea,0x73,0x37,0x8a,0x0d,0x12,
-	0x50,0x28,0x28,0x03
-	};
-
-static const unsigned char sha1_returnedbits[] =
-	{
-	0xe7,0x87,0x8b,0x01,0xc1,0xd3,0xd8,0x43,0xd4,0x8f,0xcd,0x24,
-	0x54,0x67,0xa2,0x6e,0x17,0x94,0x73,0x1c
-	};
-
-
-/* SHA-224 PR */
-static const unsigned char sha224_entropyinput[] =
-	{
-	0xfc,0x31,0xc1,0x87,0x43,0x07,0xb1,0xe5,0x71,0x48,0x5d,0x0e,
-	0xad,0xf8,0x68,0x09,0x6f,0xfe,0x80,0x2a,0xc1,0x12,0xb8,0xa6
-	};
-
-static const unsigned char sha224_nonce[] =
-	{
-	0xfd,0xba,0x25,0x2e,0xc1,0x7c,0x4e,0xa1,0x4d,0xef,0xeb,0x5d
-	};
-
-static const unsigned char sha224_personalizationstring[] =
-	{
-	0xc9,0x15,0xe4,0x8c,0x2a,0x4c,0xc9,0xe6,0x23,0x5c,0xb8,0x5a,
-	0x97,0x89,0x6a,0x10,0x75,0x68,0x27,0x00,0x0e,0x6f,0x44,0x1e
-	};
-
-static const unsigned char sha224_additionalinput[] =
-	{
-	0xd3,0xab,0x74,0x74,0xe7,0x80,0x87,0x9e,0x89,0x08,0xbe,0xf1,
-	0x99,0x09,0x26,0xa4,0x2b,0x8c,0xb7,0xa0,0xc2,0xcc,0xae,0x0a
-	};
-
-static const unsigned char sha224_entropyinputpr[] =
-	{
-	0xbd,0xc1,0x21,0x62,0x43,0x19,0x25,0x15,0x19,0xc5,0xcd,0x53,
-	0x9e,0xb4,0x17,0xff,0xaa,0x03,0xf6,0x5a,0x4d,0x69,0x28,0x0b
-	};
-
-static const unsigned char sha224_additionalinput2[] =
-	{
-	0xdb,0xf5,0x57,0xea,0x5b,0xc8,0x0a,0xa9,0x32,0x72,0xcf,0x7d,
-	0xa4,0xeb,0x4f,0xbf,0x64,0x5d,0x74,0x04,0x0e,0x4e,0x0f,0xed
-	};
-
-static const unsigned char sha224_entropyinputpr2[] =
-	{
-	0xab,0xce,0xe1,0xfd,0xaa,0x35,0x5c,0x0a,0xfe,0xd8,0x18,0xac,
-	0x92,0x79,0x79,0x53,0xbc,0xb5,0x45,0xf6,0xf9,0x73,0x7f,0x24
-	};
-
-static const unsigned char sha224_returnedbits[] =
-	{
-	0xb2,0xc2,0x40,0xc4,0x2a,0x25,0x63,0xdb,0x99,0x59,0x7b,0x7b,
-	0xee,0xdb,0x51,0x8d,0x18,0x4c,0x09,0x26,0x22,0x1a,0xe9,0x76,
-	0x54,0x5f,0xb5,0x28
-	};
-
-
-/* SHA-256 PR */
-static const unsigned char sha256_entropyinput[] =
-	{
-	0xbc,0x67,0x4e,0x95,0xf1,0xca,0x71,0xdd,0xd3,0x97,0x3a,0x39,
-	0x3f,0x3d,0x7f,0xf2,0x99,0x02,0xcf,0x12,0x02,0xea,0xcc,0xf3,
-	0xd7,0xe7,0xcc,0x08,0x6c,0x41,0xb1,0xed
-	};
-
-static const unsigned char sha256_nonce[] =
-	{
-	0x44,0x06,0xa7,0x61,0x15,0x0a,0x6a,0x2d,0xa9,0x18,0x10,0xb5,
-	0x6d,0xf0,0xd4,0xf7
-	};
-
-static const unsigned char sha256_personalizationstring[] =
-	{
-	0x8f,0x39,0xd5,0x6a,0x46,0xde,0xa2,0x57,0xdf,0x39,0xdb,0xca,
-	0x13,0xca,0x51,0x0f,0x43,0x2a,0x77,0x3a,0x38,0x7a,0x3b,0x35,
-	0x1e,0x13,0x26,0x0e,0xc1,0x6b,0xb6,0x81
-	};
-
-static const unsigned char sha256_additionalinput[] =
-	{
-	0x95,0x01,0xbe,0x52,0xaa,0xc4,0x32,0x5a,0x3c,0xea,0x57,0xc4,
-	0x5c,0xfa,0x25,0x4e,0xc5,0xf3,0xc2,0xa6,0x39,0xce,0x00,0x97,
-	0x19,0x50,0x17,0x71,0x44,0x13,0xa5,0xbd
-	};
-
-static const unsigned char sha256_entropyinputpr[] =
-	{
-	0x8e,0x8a,0x19,0x03,0xa7,0x77,0xaa,0x64,0x4f,0x11,0x45,0x1d,
-	0x66,0x74,0x88,0xdf,0x2c,0x9b,0xc3,0xc8,0xbb,0x8c,0x99,0x34,
-	0xc6,0xc7,0xdb,0xc1,0x92,0xef,0xa3,0xa3
-	};
-
-static const unsigned char sha256_additionalinput2[] =
-	{
-	0x2b,0x91,0x7f,0xf3,0x78,0x3f,0x18,0x73,0x7c,0x5f,0xc2,0xda,
-	0x1d,0x8c,0xc4,0xcd,0x74,0x4d,0xc1,0x7a,0x6c,0xe2,0x73,0x07,
-	0x9d,0x55,0xa8,0x42,0x69,0xc0,0x7c,0x85
-	};
-
-static const unsigned char sha256_entropyinputpr2[] =
-	{
-	0x4c,0x3f,0xee,0x8b,0x98,0x0e,0x55,0x7e,0xab,0xc3,0xd3,0x0e,
-	0x35,0x33,0x72,0x75,0x9f,0x4b,0x87,0xce,0x05,0xbe,0xd4,0x6b,
-	0x70,0xec,0xdb,0x5a,0x57,0x14,0x83,0x34
-	};
-
-static const unsigned char sha256_returnedbits[] =
-	{
-	0xa5,0x2c,0xab,0x93,0x63,0x57,0x5d,0x60,0x80,0x4c,0x71,0xbb,
-	0xc2,0x3d,0x43,0x13,0xd8,0xe1,0x60,0x63,0x5e,0xf8,0xb1,0x4c,
-	0x93,0x06,0x86,0x9e,0x03,0x0a,0x16,0x75
-	};
-
-
-/* SHA-384 PR */
-static const unsigned char sha384_entropyinput[] =
-	{
-	0xad,0x6c,0xfb,0xdd,0x40,0xd9,0xf1,0x0a,0xc6,0xe4,0x28,0xf9,
-	0x8c,0xb1,0x66,0xce,0x7e,0x7f,0xbb,0xea,0xcd,0x79,0x3d,0x54,
-	0xc6,0xc0,0x07,0x68,0xf0,0xb7,0x73,0xc5
-	};
-
-static const unsigned char sha384_nonce[] =
-	{
-	0xfb,0xe1,0xb2,0x81,0x77,0xb0,0x14,0x94,0xae,0xbb,0x8d,0x01,
-	0xfb,0x74,0xc9,0xa1
-	};
-
-static const unsigned char sha384_personalizationstring[] =
-	{
-	0x02,0x8e,0xa9,0xc2,0x7e,0x0e,0x78,0xea,0x29,0xca,0x19,0xd4,
-	0x58,0x89,0x71,0x45,0x18,0xd9,0x1f,0xc0,0x8f,0x92,0x02,0xb8,
-	0x90,0xa7,0xec,0xf6,0x7f,0x33,0xa6,0x47
-	};
-
-static const unsigned char sha384_additionalinput[] =
-	{
-	0x98,0x0e,0xe3,0x3c,0x8e,0x6b,0x82,0xc0,0x56,0xd0,0x93,0x14,
-	0x6a,0x79,0xa8,0xec,0x09,0xb7,0x49,0x01,0x71,0xdb,0x58,0x97,
-	0x5a,0x61,0xa5,0x4e,0xb4,0x5f,0xce,0x2b
-	};
-
-static const unsigned char sha384_entropyinputpr[] =
-	{
-	0x50,0xef,0xaa,0x65,0x95,0x0d,0x4f,0x97,0x3e,0x57,0x59,0x48,
-	0xf9,0x4e,0xee,0x51,0xf8,0x46,0xec,0x4c,0x2d,0x55,0x47,0x23,
-	0xc5,0x7b,0xa3,0xda,0xe5,0x12,0x34,0x9a
-	};
-
-static const unsigned char sha384_additionalinput2[] =
-	{
-	0x1c,0xcd,0xe0,0xc1,0x15,0xd4,0x7f,0xfa,0x9e,0x16,0xe7,0x6d,
-	0x22,0x55,0xfd,0x34,0x3f,0xec,0x1d,0x40,0x9e,0xdd,0x15,0x07,
-	0x13,0x1c,0x65,0x6e,0xf7,0x1c,0xb6,0xf8
-	};
-
-static const unsigned char sha384_entropyinputpr2[] =
-	{
-	0xa0,0x8b,0x48,0xdc,0x7b,0x74,0x54,0xd0,0x0a,0x10,0x0e,0xc9,
-	0xf2,0xe0,0xf0,0x30,0x38,0xf5,0x46,0x27,0xf4,0x54,0x06,0x95,
-	0x56,0xab,0xf4,0x74,0xd8,0x34,0xf5,0x5d
-	};
-
-static const unsigned char sha384_returnedbits[] =
-	{
-	0x03,0x54,0x62,0xaa,0x5c,0x61,0x28,0xfc,0x96,0x04,0xd6,0x4f,
-	0x50,0x5c,0x9e,0x7c,0x9e,0x1d,0x41,0x76,0x41,0xa0,0x60,0x70,
-	0x62,0x4f,0x42,0x1a,0x69,0xce,0x30,0xc4,0xf7,0x89,0xc8,0x93,
-	0xed,0xe9,0x42,0xf4,0x59,0x55,0x7c,0x6c,0xd3,0x4e,0xff,0x05
-	};
-
-
-/* SHA-512 PR */
-static const unsigned char sha512_entropyinput[] =
-	{
-	0x22,0xb1,0x72,0xe3,0xc4,0x87,0xe7,0x76,0x4e,0x85,0xb5,0xca,
-	0x86,0x4f,0x21,0x2b,0x4f,0x29,0x8e,0x8a,0xfc,0x88,0xfc,0xa1,
-	0xf6,0xd7,0xc1,0x63,0x90,0x8d,0x85,0xa9
-	};
-
-static const unsigned char sha512_nonce[] =
-	{
-	0xcc,0x8b,0x86,0x21,0xa7,0xbe,0xd3,0xe1,0xde,0xd2,0x47,0xfc,
-	0x9c,0x4a,0xdb,0x85
-	};
-
-static const unsigned char sha512_personalizationstring[] =
-	{
-	0xb7,0x7c,0xb3,0x4f,0xf8,0xcd,0x19,0x89,0xdb,0x0c,0xcf,0xc9,
-	0xce,0xcd,0x48,0xcd,0x62,0x9c,0x51,0x38,0x85,0xe4,0x6c,0x17,
-	0x02,0x1b,0x6b,0xb5,0x3c,0x31,0x4f,0xa1
-	};
-
-static const unsigned char sha512_additionalinput[] =
-	{
-	0x69,0x3f,0xcf,0xf5,0x38,0x09,0x0d,0x3c,0xfb,0xea,0x94,0xa6,
-	0xf3,0xdc,0xb3,0xa8,0xcb,0x61,0x3b,0x8d,0x8e,0x31,0x94,0xc2,
-	0xe8,0x20,0x1c,0x62,0xa0,0x54,0xc2,0x03
-	};
-
-static const unsigned char sha512_entropyinputpr[] =
-	{
-	0xa0,0xcf,0x6f,0x0f,0x55,0x88,0x84,0xad,0x8d,0x2e,0x08,0x91,
-	0x8a,0x65,0xc0,0xb4,0xc9,0xbe,0x21,0x29,0xbe,0x23,0x2d,0x2b,
-	0xd1,0x81,0x90,0x66,0x97,0xb6,0xfa,0x84
-	};
-
-static const unsigned char sha512_additionalinput2[] =
-	{
-	0x1f,0x5e,0x49,0xb5,0xa3,0xfa,0xe8,0x89,0xc5,0x1b,0x39,0x2b,
-	0x9e,0xc7,0x36,0x85,0x5b,0xa9,0x9f,0x91,0x79,0xfe,0x5c,0xe6,
-	0x41,0xbe,0x14,0x87,0x81,0x08,0x0d,0xee
-	};
-/* NB: not constant so we can corrupt it */
-static const unsigned char sha512_entropyinputpr2[] =
-	{
-	0xed,0x22,0x42,0x61,0xa7,0x4c,0xed,0xc7,0x10,0x82,0x61,0x17,
-	0xaa,0x7d,0xdb,0x4e,0x1c,0x96,0x61,0x23,0xcd,0x8f,0x84,0x77,
-	0xc3,0xa2,0x55,0xff,0xbb,0xc9,0xa6,0x2f
-	};
-
-static const unsigned char sha512_returnedbits[] =
-	{
-	0x79,0x60,0x41,0xaa,0x6c,0xdd,0x17,0x28,0xc0,0x4d,0xc0,0x17,
-	0xc0,0x66,0x46,0x67,0x0d,0x20,0xe2,0x67,0x96,0xd5,0x2a,0xf4,
-	0x58,0x0a,0x06,0xab,0xc1,0x4c,0x70,0xc1,0xb8,0x9d,0x68,0x79,
-	0x28,0x07,0x38,0x4a,0xc3,0xec,0x3b,0x19,0x02,0xe7,0x13,0x82,
-	0x8f,0xc3,0xed,0x59,0x88,0xdd,0x88,0xaf,0xac,0xf0,0x57,0x6c,
-	0x14,0x0b,0x50,0x11
-	};
-
-/* HMAC SHA-1 PR */
-static const unsigned char hmac_sha1_entropyinput[] =
-	{
-	0x0a,0xbe,0x45,0x75,0x79,0x56,0x5a,0xc1,0x93,0x1a,0xea,0xee,
-	0x08,0x86,0xc6,0x9e
-	};
-
-static const unsigned char hmac_sha1_nonce[] =
-	{
-	0x15,0x63,0x19,0xd2,0x2f,0xec,0x42,0x84
-	};
-
-static const unsigned char hmac_sha1_personalizationstring[] =
-	{
-	0xb4,0xfe,0x99,0x80,0xde,0xcf,0x1e,0x5e,0x50,0x0d,0x36,0x24,
-	0x8a,0x74,0x72,0x06
-	};
-
-static const unsigned char hmac_sha1_additionalinput[] =
-	{
-	0x5d,0xcb,0x61,0x0f,0x21,0x12,0xbf,0xdd,0x6a,0xa7,0x86,0x97,
-	0xed,0x89,0xd9,0x3f
-	};
-
-static const unsigned char hmac_sha1_entropyinputpr[] =
-	{
-	0x9e,0xb3,0x11,0xa7,0xfa,0x5f,0xaa,0x99,0xec,0xf1,0xb4,0x7a,
-	0x14,0xef,0x55,0x25
-	};
-
-static const unsigned char hmac_sha1_additionalinput2[] =
-	{
-	0x82,0x6e,0x85,0x25,0xa4,0xdc,0xdc,0xf4,0x09,0xb3,0x57,0x4a,
-	0x10,0x65,0xf5,0x38
-	};
-
-static const unsigned char hmac_sha1_entropyinputpr2[] =
-	{
-	0x8d,0x0b,0xdc,0x9a,0x62,0x49,0xb0,0xfe,0x56,0x23,0xfd,0x1d,
-	0x15,0x43,0xae,0xb9
-	};
-
-static const unsigned char hmac_sha1_returnedbits[] =
-	{
-	0x09,0xe3,0xcc,0x21,0x7e,0x78,0x83,0x7d,0x3c,0x1b,0x15,0xc7,
-	0x0c,0xe5,0xd6,0x9d,0x11,0xd7,0xe6,0xf8
-	};
-
-
-/* HMAC SHA-224 PR */
-static const unsigned char hmac_sha224_entropyinput[] =
-	{
-	0x98,0x49,0x8d,0x87,0x54,0xdc,0xf3,0x0f,0xe6,0x9d,0x5b,0x1f,
-	0x3b,0x23,0x0e,0x59,0x16,0x67,0x33,0xc0,0x71,0x50,0x4d,0xe3
-	};
-
-static const unsigned char hmac_sha224_nonce[] =
-	{
-	0x96,0x73,0xae,0x62,0xfb,0xf4,0xb7,0x9b,0xcc,0xe9,0x84,0x7f
-	};
-
-static const unsigned char hmac_sha224_personalizationstring[] =
-	{
-	0xa9,0x43,0x09,0xae,0xdd,0x11,0xc8,0x4a,0x04,0x89,0xa5,0x69,
-	0x5e,0x7c,0x80,0xd1,0xf9,0x1e,0x6d,0x8c,0xcd,0x59,0xef,0xd2
-	};
-
-static const unsigned char hmac_sha224_additionalinput[] =
-	{
-	0xef,0x8f,0xfc,0x23,0x6a,0x71,0xdf,0xfa,0xf3,0xa1,0x37,0xd0,
-	0xfe,0x5e,0x3f,0x76,0x16,0xe0,0xdf,0x84,0xd7,0x01,0xc8,0xa4
-	};
-
-static const unsigned char hmac_sha224_entropyinputpr[] =
-	{
-	0x5a,0xc1,0x2f,0xa3,0x52,0x1a,0x27,0xed,0x1b,0x13,0x2a,0xab,
-	0xb1,0x3d,0x2f,0x9c,0xd0,0x40,0xce,0xf2,0x0c,0x23,0x7d,0x40
-	};
-
-static const unsigned char hmac_sha224_additionalinput2[] =
-	{
-	0xfe,0x48,0x55,0x54,0x87,0x83,0x50,0x11,0xc9,0x73,0x68,0x89,
-	0x1a,0x62,0xd5,0xe6,0x3b,0xc9,0x14,0x8d,0xd9,0x7e,0x83,0xef
-	};
-
-static const unsigned char hmac_sha224_entropyinputpr2[] =
-	{
-	0x75,0x50,0xa6,0x64,0x0f,0xdf,0x11,0x05,0x02,0x79,0x89,0xf3,
-	0x33,0x37,0xa8,0x89,0xfe,0x0a,0x1a,0xc9,0x31,0x68,0xb2,0xa7
-	};
-
-static const unsigned char hmac_sha224_returnedbits[] =
-	{
-	0xd0,0x38,0xa8,0xdf,0xfe,0xcd,0x4a,0x16,0xd6,0xec,0x20,0xac,
-	0x42,0x97,0x8c,0x5d,0x7b,0xec,0x23,0x62,0x21,0xc8,0x8e,0x76,
-	0xdd,0x4d,0xca,0x4f
-	};
-
-
-/* HMAC SHA-256 PR */
-static const unsigned char hmac_sha256_entropyinput[] =
-	{
-	0xf8,0x48,0xab,0xfe,0x9a,0xf2,0x3d,0x9f,0x17,0xda,0xfe,0xe1,
-	0x41,0xcd,0xfc,0xa4,0x46,0x74,0xf7,0x38,0x32,0x86,0x02,0x28,
-	0xa6,0x33,0x5e,0x42,0xd9,0xce,0x95,0xe9
-	};
-
-static const unsigned char hmac_sha256_nonce[] =
-	{
-	0x7a,0x26,0x5a,0xed,0x72,0xe0,0x2d,0xef,0xc3,0xa2,0x7f,0x7f,
-	0x1a,0x6e,0xca,0x85
-	};
-
-static const unsigned char hmac_sha256_personalizationstring[] =
-	{
-	0xc8,0x79,0xe5,0xb6,0x19,0xc1,0xc1,0x4d,0x78,0xf8,0xfc,0xdf,
-	0x26,0xc3,0x5b,0x10,0x0f,0x37,0x25,0x04,0x50,0x06,0xc6,0x25,
-	0xe7,0xeb,0xa3,0x38,0xbb,0x55,0x3e,0xa2
-	};
-
-static const unsigned char hmac_sha256_additionalinput[] =
-	{
-	0x37,0xf0,0x25,0xe1,0x03,0x4b,0xae,0x74,0xfc,0xff,0xbe,0x6b,
-	0xc1,0x93,0x23,0x66,0x95,0x54,0x67,0x1c,0x63,0x05,0xef,0xa6,
-	0xf0,0xc9,0x56,0x0c,0x61,0x4f,0x05,0x0f
-	};
-
-static const unsigned char hmac_sha256_entropyinputpr[] =
-	{
-	0x91,0x62,0x41,0xa5,0x9a,0x5f,0x90,0x4d,0x53,0x75,0x11,0x0a,
-	0x86,0x1a,0x96,0x26,0x97,0x3e,0x20,0x31,0x79,0xf4,0xf8,0x4d,
-	0xf2,0x60,0x0d,0xba,0x12,0xe2,0x8f,0xa3
-	};
-
-static const unsigned char hmac_sha256_additionalinput2[] =
-	{
-	0xd4,0xf8,0x6f,0x3a,0xae,0x93,0x93,0x42,0x0f,0x11,0xd7,0xe3,
-	0x07,0xfe,0x33,0x84,0xc3,0xd9,0xa2,0xe2,0xaa,0x66,0x5b,0xfa,
-	0xb7,0x37,0x56,0x35,0x17,0x78,0xfd,0xd4
-	};
-
-static const unsigned char hmac_sha256_entropyinputpr2[] =
-	{
-	0xdd,0x21,0x60,0x30,0xfd,0x6d,0xea,0x1a,0x2e,0x0f,0xe3,0xcd,
-	0xb1,0x2b,0x10,0x16,0x3b,0x15,0xd0,0x92,0x93,0x1b,0xd7,0x14,
-	0x6e,0x90,0x31,0x52,0x88,0x1b,0x75,0xd5
-	};
-
-static const unsigned char hmac_sha256_returnedbits[] =
-	{
-	0x8a,0x66,0x8a,0xe2,0x0d,0xe7,0xcc,0xae,0xec,0x9b,0x22,0x8e,
-	0xd1,0x0c,0xa4,0x13,0xcd,0xd9,0x4b,0xb9,0x72,0xf2,0xc2,0x12,
-	0x88,0x52,0x5d,0x90,0x67,0x69,0x38,0x22
-	};
-
-
-/* HMAC SHA-384 PR */
-static const unsigned char hmac_sha384_entropyinput[] =
-	{
-	0x81,0x6f,0xcc,0xe7,0x9b,0x85,0x5e,0x99,0x0d,0x74,0x39,0xe5,
-	0x65,0x9b,0xb9,0x68,0x6b,0x9e,0x76,0xff,0x78,0xef,0xc6,0xf2,
-	0x1b,0x99,0x74,0x64,0xee,0x4e,0xc0,0xfa
-	};
-
-static const unsigned char hmac_sha384_nonce[] =
-	{
-	0xf8,0xce,0xb1,0xe7,0x96,0x9d,0x47,0x10,0x80,0xda,0x70,0x75,
-	0xbf,0xba,0xe9,0xe8
-	};
-
-static const unsigned char hmac_sha384_personalizationstring[] =
-	{
-	0x3c,0xbd,0xd5,0x1c,0x1e,0xa5,0xa9,0xe0,0x0b,0xb1,0xd4,0x2c,
-	0xcc,0xaf,0xb9,0x70,0x61,0x03,0x86,0x82,0xff,0x58,0x51,0xea,
-	0x46,0x88,0x77,0x6f,0xc6,0xc7,0x38,0xe0
-	};
-
-static const unsigned char hmac_sha384_additionalinput[] =
-	{
-	0xaf,0x16,0x5f,0xcf,0x85,0xba,0xd2,0x85,0x14,0x5c,0x33,0x64,
-	0x8a,0x7b,0x26,0x9b,0xd1,0xb0,0xf4,0xcc,0xaf,0xf3,0xc4,0xfa,
-	0x1d,0x2c,0x19,0xb4,0xe6,0xfc,0x8d,0x81
-	};
-
-static const unsigned char hmac_sha384_entropyinputpr[] =
-	{
-	0xff,0x63,0xb4,0x83,0x95,0xe6,0x7e,0x3c,0x35,0xee,0xb5,0x2c,
-	0x50,0x65,0x06,0x53,0xb3,0x17,0xd3,0x22,0x0c,0xdb,0xce,0x41,
-	0x9b,0xff,0xd8,0xa1,0x36,0xf7,0x1a,0xc4
-	};
-
-static const unsigned char hmac_sha384_additionalinput2[] =
-	{
-	0xaa,0x2a,0xd6,0x81,0xda,0x55,0x3b,0xdd,0xa7,0x9e,0x25,0x31,
-	0xf8,0xc9,0xa3,0xb5,0x8b,0x52,0x30,0x24,0xf2,0x16,0xd3,0x0c,
-	0xcc,0x47,0x77,0x5a,0x46,0x91,0x87,0x23
-	};
-
-static const unsigned char hmac_sha384_entropyinputpr2[] =
-	{
-	0xaa,0xe9,0xf6,0xcc,0xd3,0x38,0x0b,0x20,0x75,0x4a,0x3b,0x13,
-	0xc7,0xf1,0x66,0xc0,0x0e,0xfd,0xc1,0x7b,0x81,0x3f,0xd7,0x7b,
-	0x5b,0xe0,0xbe,0xc7,0x40,0xe2,0x9c,0x65
-	};
-
-static const unsigned char hmac_sha384_returnedbits[] =
-	{
-	0x57,0x49,0xc1,0x59,0x99,0x5d,0xe2,0xc6,0x25,0xc5,0xdb,0xe2,
-	0xd4,0x1b,0xee,0x4c,0xd3,0x36,0xe5,0xa5,0xc8,0x93,0xcb,0xbc,
-	0xc8,0x2e,0xd6,0x45,0x3f,0x66,0xa4,0x71,0xc8,0x98,0xb9,0x97,
-	0x28,0x56,0xad,0xdb,0xfe,0x09,0x8d,0xe2,0xb3,0x04,0xae,0xf4
-	};
-
-
-/* HMAC SHA-512 PR */
-static const unsigned char hmac_sha512_entropyinput[] =
-	{
-	0xab,0xb5,0xbc,0x7f,0x94,0xd6,0xbe,0xc8,0x94,0xa9,0x46,0xdd,
-	0xc5,0x63,0x14,0x8e,0xdc,0xab,0x68,0x7f,0x47,0xec,0x46,0x16,
-	0x8a,0xe0,0xea,0xa3,0xda,0x5b,0x88,0xd0
-	};
-
-static const unsigned char hmac_sha512_nonce[] =
-	{
-	0x6a,0xda,0xa4,0x68,0x66,0x9a,0xc8,0x34,0xef,0x21,0xe6,0xb4,
-	0xac,0xc7,0xb0,0xbe
-	};
-
-static const unsigned char hmac_sha512_personalizationstring[] =
-	{
-	0x69,0xa4,0x13,0xd2,0xeb,0x39,0xb6,0xdc,0x3e,0x6c,0x84,0xb8,
-	0x1b,0x0e,0x86,0x47,0xb4,0x74,0xf1,0x60,0xe6,0x66,0x7c,0x53,
-	0xbc,0x43,0x03,0xbd,0x26,0x78,0x5b,0x92
-	};
-
-static const unsigned char hmac_sha512_additionalinput[] =
-	{
-	0xaf,0x33,0x2b,0x15,0x3c,0xd1,0x01,0x8b,0x24,0xe9,0x97,0x01,
-	0x13,0x52,0x4b,0x92,0xd0,0x2f,0x0e,0xd4,0xf9,0x5a,0x3b,0xe3,
-	0xff,0x14,0xb7,0xae,0x63,0xed,0x4d,0x80
-	};
-
-static const unsigned char hmac_sha512_entropyinputpr[] =
-	{
-	0x0e,0xe7,0xe1,0x16,0x7d,0x6d,0x3c,0xfd,0xd2,0x69,0x2e,0xc6,
-	0xb7,0x08,0xa4,0xb5,0x93,0xe2,0xba,0xa3,0x40,0x6a,0x9a,0x13,
-	0x0d,0x94,0x99,0x7a,0xfb,0xc7,0x8f,0xca
-	};
-
-static const unsigned char hmac_sha512_additionalinput2[] =
-	{
-	0xc0,0xfd,0xea,0x00,0xee,0xdd,0xf3,0x4c,0x5e,0x4a,0x97,0x04,
-	0x3c,0xf0,0x97,0xce,0x75,0x90,0xad,0x51,0xf8,0xea,0xe9,0xc2,
-	0x2c,0xec,0x4d,0xb2,0xb4,0x1b,0xa6,0x15
-	};
-
-static const unsigned char hmac_sha512_entropyinputpr2[] =
-	{
-	0x63,0xfb,0x80,0xa7,0xf9,0xce,0x87,0xbd,0xe2,0xf0,0xfa,0x82,
-	0x4b,0xe2,0x7e,0xce,0x90,0xc1,0x30,0x54,0x1c,0x4e,0x9f,0x49,
-	0x82,0x3d,0x0a,0x52,0xdb,0xc0,0xda,0xb1
-	};
-
-static const unsigned char hmac_sha512_returnedbits[] =
-	{
-	0x6a,0x33,0x60,0x3d,0xe4,0x83,0x39,0x46,0xb3,0x3d,0x7d,0x16,
-	0x25,0xc8,0x69,0xb3,0x94,0x17,0x6b,0x23,0xec,0x4d,0xcb,0x23,
-	0xbd,0x92,0x1c,0xfa,0xa7,0xba,0x97,0x35,0xb9,0x54,0x47,0x88,
-	0x26,0x6d,0x6d,0x3f,0xc2,0xe3,0x5c,0x56,0x2c,0x50,0x5d,0x60,
-	0x11,0x3a,0x19,0x66,0xd9,0x0e,0x7c,0x08,0xfb,0xf9,0xf2,0xb4,
-	0xfb,0xcb,0xfc,0x49
-	};
-
-
-
-
 static DRBG_SELFTEST_DATA drbg_test[] = {
 	make_drbg_test_data_df(NID_aes_128_ctr, aes_128_use_df),
 	make_drbg_test_data_df(NID_aes_192_ctr, aes_192_use_df),
@@ -1034,6 +186,9 @@ static int fips_drbg_single_kat(DRBG_CTX *dctx, DRBG_SELFTEST_DATA *td)
 	int rv = 0;
 	size_t adinlen;
 	unsigned char randout[1024];
+
+	/* Initial test without PR */
+
 	if (!FIPS_drbg_init(dctx, td->nid, td->flags))
 		return 0;
 	if (!FIPS_drbg_set_callbacks(dctx, test_entropy, 0, 0, test_nonce, 0))
@@ -1051,9 +206,6 @@ static int fips_drbg_single_kat(DRBG_CTX *dctx, DRBG_SELFTEST_DATA *td)
 	if (!FIPS_drbg_instantiate(dctx, td->pers, td->perslen))
 		goto err;
 
-	t.ent = td->entpr;
-	t.entlen = td->entprlen;
-
 	/* Note for CTR without DF some additional input values
 	 * ignore bytes after the keylength: so reduce adinlen
 	 * to half to ensure invalid data is fed in.
@@ -1062,18 +214,72 @@ static int fips_drbg_single_kat(DRBG_CTX *dctx, DRBG_SELFTEST_DATA *td)
 		adinlen = td->adinlen / 2;
 	else
 		adinlen = td->adinlen;
-	if (!FIPS_drbg_generate(dctx, randout, td->katlen, 0, 1,
+	if (!FIPS_drbg_generate(dctx, randout, td->katlen, 0, 0,
 				td->adin, adinlen))
 		goto err;
 
-	t.ent = td->entg;
-	t.entlen = td->entglen;
+	if (memcmp(randout, td->kat, td->katlen))
+		goto err;
+
+	t.ent = td->entreseed;
+	t.entlen = td->entreseedlen;
 
-	if (!FIPS_drbg_generate(dctx, randout, td->katlen, 0, 1,
-				td->ading, td->adinglen))
+	if (!FIPS_drbg_reseed(dctx, td->adinreseed, td->adinreseedlen))
 		goto err;
 
-	if (memcmp(randout, td->kat, td->katlen))
+	if (!FIPS_drbg_generate(dctx, randout, td->kat2len, 0, 0,
+				td->adin2, td->adin2len))
+		goto err;
+
+	if (memcmp(randout, td->kat2, td->kat2len))
+		goto err;
+
+	FIPS_drbg_uninstantiate(dctx);
+
+	/* Now test with PR */
+	if (!FIPS_drbg_init(dctx, td->nid, td->flags))
+		return 0;
+	if (!FIPS_drbg_set_callbacks(dctx, test_entropy, 0, 0, test_nonce, 0))
+		return 0;
+
+	FIPS_drbg_set_app_data(dctx, &t);
+
+	t.ent = td->ent_pr;
+	t.entlen = td->entlen_pr;
+	t.nonce = td->nonce_pr;
+	t.noncelen = td->noncelen_pr;
+	t.entcnt = 0;
+	t.noncecnt = 0;
+
+	if (!FIPS_drbg_instantiate(dctx, td->pers_pr, td->perslen_pr))
+		goto err;
+
+	t.ent = td->entpr_pr;
+	t.entlen = td->entprlen_pr;
+
+	/* Note for CTR without DF some additional input values
+	 * ignore bytes after the keylength: so reduce adinlen
+	 * to half to ensure invalid data is fed in.
+	 */
+	if (!fips_post_corrupt(FIPS_TEST_DRBG, dctx->type, &dctx->flags))
+		adinlen = td->adinlen_pr / 2;
+	else
+		adinlen = td->adinlen_pr;
+	if (!FIPS_drbg_generate(dctx, randout, td->katlen_pr, 0, 1,
+				td->adin_pr, adinlen))
+		goto err;
+
+	if (memcmp(randout, td->kat_pr, td->katlen_pr))
+		goto err;
+
+	t.ent = td->entg_pr;
+	t.entlen = td->entglen_pr;
+
+	if (!FIPS_drbg_generate(dctx, randout, td->kat2len_pr, 0, 1,