+void test_sha512(void){
+
+
+const uint8_t secret[] = {
+ 0xb0, 0x32, 0x35, 0x23, 0xc1, 0x85, 0x35, 0x99,
+ 0x58, 0x4d, 0x88, 0x56, 0x8b, 0xbb, 0x05, 0xeb
+ };
+
+const uint8_t seed[] = {
+ 0xd4, 0x64, 0x0e, 0x12, 0xe4, 0xbc, 0xdb, 0xfb,
+ 0x43, 0x7f, 0x03, 0xe6, 0xae, 0x41, 0x8e, 0xe5,
+ };
+ test_prf(&sha512_desc, secret, seed, 196);