+ hfal_test(&bmw512_desc, msg, length_b);
+}
+
+void test506(void){
+ /* Testvector of length = 506 from short KAT */
+ uint8_t v[] = {
+ 0xB9, 0xE3, 0xE2, 0x75, 0x5E, 0xD1, 0x21, 0x53,
+ 0x81, 0xB2, 0x45, 0x57, 0xEE, 0x14, 0xF8, 0xCD,
+ 0x26, 0x87, 0xA0, 0x71, 0xAE, 0xB3, 0xC7, 0x4F,
+ 0x42, 0x1C, 0xFE, 0xA3, 0xCF, 0xF8, 0xA6, 0xEA,
+ 0x0D, 0x4B, 0xDA, 0x2A, 0xD4, 0xBD, 0x82, 0x43,
+ 0xCB, 0xA7, 0x2B, 0x48, 0x1C, 0xBD, 0x52, 0x6E,
+ 0x1E, 0xFA, 0x1D, 0x9F, 0xD4, 0x32, 0xB9, 0x87,
+ 0xE8, 0x12, 0x65, 0x82, 0x44, 0x29, 0xBA, 0xC0 };
+ bmw512_test(v, 506);
+}
+
+void test507(void){
+ /* Testvector of length = 506 from short KAT */
+ uint8_t v[] = {
+ 0xE8, 0x33, 0x25, 0x35, 0xE9, 0xA2, 0x05, 0x24,
+ 0x67, 0xA1, 0x02, 0x05, 0xC8, 0x70, 0x00, 0xBF,
+ 0xC6, 0xA6, 0x8D, 0x73, 0x96, 0x2E, 0x69, 0xE4,
+ 0xE5, 0x6F, 0x10, 0xBC, 0x79, 0xC6, 0x33, 0xC5,
+ 0x2F, 0x4D, 0x00, 0x74, 0xD6, 0x07, 0x75, 0x95,
+ 0xB6, 0x60, 0x07, 0x2E, 0x10, 0x74, 0x0D, 0xFA,
+ 0x66, 0xBC, 0x13, 0x20, 0x46, 0x9A, 0x31, 0x96,
+ 0xE0, 0x21, 0xE1, 0x32, 0x7C, 0xC0, 0x3A, 0xE0 };
+ bmw512_test(v, 507);