// File: /workspace/github_c_makefile_star2_O1/maandree[P]libkeccak/test.c
// Function: test_digest_bits
static int
test_digest_bits(void)
{
#define MSG0 ""
#define MSG5 "\x13" /* 1 1001 */
#define MSG30 "\x53\x58\x7B\x19" /* 1100 1010  0001 1010  1101 1110  10 0110 */
#define MSG1600_32 "\xA3\xA3\xA3\xA3" /* (1100 0101)x4 */
#define MSG1600_160 MSG1600_32 MSG1600_32 MSG1600_32 MSG1600_32 MSG1600_32
#define MSG1600_800 MSG1600_160 MSG1600_160 MSG1600_160 MSG1600_160 MSG1600_160
#define MSG1600 MSG1600_800 MSG1600_800
#define MSG1605 MSG1600_800 MSG1600_800 "\x03"
#define MSG1630 MSG1600_800 MSG1600_800 "\xA3\xA3\xA3\x23"
#define SEQ1600 "\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0A\x0B\x0C\x0D\x0E\x0F"\
                "\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1A\x1B\x1C\x1D\x1E\x1F"\
                "\x20\x21\x22\x23\x24\x25\x26\x27\x28\x29\x2A\x2B\x2C\x2D\x2E\x2F"\
                "\x30\x31\x32\x33\x34\x35\x36\x37\x38\x39\x3A\x3B\x3C\x3D\x3E\x3F"\
                "\x40\x41\x42\x43\x44\x45\x46\x47\x48\x49\x4A\x4B\x4C\x4D\x4E\x4F"\
                "\x50\x51\x52\x53\x54\x55\x56\x57\x58\x59\x5A\x5B\x5C\x5D\x5E\x5F"\
                "\x60\x61\x62\x63\x64\x65\x66\x67\x68\x69\x6A\x6B\x6C\x6D\x6E\x6F"\
                "\x70\x71\x72\x73\x74\x75\x76\x77\x78\x79\x7A\x7B\x7C\x7D\x7E\x7F"\
                "\x80\x81\x82\x83\x84\x85\x86\x87\x88\x89\x8A\x8B\x8C\x8D\x8E\x8F"\
                "\x90\x91\x92\x93\x94\x95\x96\x97\x98\x99\x9A\x9B\x9C\x9D\x9E\x9F"\
                "\xA0\xA1\xA2\xA3\xA4\xA5\xA6\xA7\xA8\xA9\xAA\xAB\xAC\xAD\xAE\xAF"\
                "\xB0\xB1\xB2\xB3\xB4\xB5\xB6\xB7\xB8\xB9\xBA\xBB\xBC\xBD\xBE\xBF"\
                "\xC0\xC1\xC2\xC3\xC4\xC5\xC6\xC7"

#define sha3(output, message, msg_bits)\
	(printf("  Testing SHA3-"#output"(%s:%i): ", #message, msg_bits),\
	 libkeccak_spec_sha3(&spec, output),\
	 test_digest_case(&spec, LIBKECCAK_SHA3_SUFFIX, message, msg_bits / 8, msg_bits % 8, answer))

#define shake(semicapacity, message, msg_bits)\
	(printf("  Testing SHAKE-"#semicapacity"(%s:%i): ", #message, msg_bits),\
	 libkeccak_spec_shake(&spec, semicapacity, (long int)strlen(answer) * 4),\
	 test_digest_case(&spec, LIBKECCAK_SHAKE_SUFFIX, message, msg_bits / 8, msg_bits % 8, answer))

#define cshake(semicapacity, n, s, message, msg_bits)			\
	(printf("  Testing cSHAKE-"#semicapacity"(%s, %s, %s:%i): ", #n, #s, #message, msg_bits),\
	 libkeccak_spec_cshake(&spec, semicapacity, (long int)strlen(answer) * 4),\
	 test_digest_case_cshake(&spec, libkeccak_cshake_suffix(strlen(n), strlen(s)), n, strlen(n), 0, NULL,\
	                         s, strlen(s), 0, NULL, message, msg_bits / 8, msg_bits % 8, answer))


	struct libkeccak_spec spec;
	const char *answer;

	printf("Testing libkeccak_digest with binary input:\n");


	answer = "7f9c2ba4e88f827d616045507605853ed73b8093f6efbc88eb1a6eacfa66ef263cb1eea988004b93103cfb0aeefd2a68"
	         "6e01fa4a58e8a3639ca8a1e3f9ae57e235b8cc873c23dc62b8d260169afa2f75ab916a58d974918835d25e6a435085b2"
	         "badfd6dfaac359a5efbb7bcc4b59d538df9a04302e10c8bc1cbf1a0b3a5120ea17cda7cfad765f5623474d368ccca8af"
	         "0007cd9f5e4c849f167a580b14aabdefaee7eef47cb0fca9767be1fda69419dfb927e9df07348b196691abaeb580b32d"
	         "ef58538b8d23f87732ea63b02b4fa0f4873360e2841928cd60dd4cee8cc0d4c922a96188d032675c8ac850933c7aff15"
	         "33b94c834adbb69c6115bad4692d8619f90b0cdf8a7b9c264029ac185b70b83f2801f2f4b3f70c593ea3aeeb613a7f1b"
	         "1de33fd75081f592305f2e4526edc09631b10958f464d889f31ba010250fda7f1368ec2967fc84ef2ae9aff268e0b170"
	         "0affc6820b523a3d917135f2dff2ee06bfe72b3124721d4a26c04e53a75e30e73a7a9c4a95d91c55d495e9f51dd0b5e9"
	         "d83c6d5e8ce803aa62b8d654db53d09b8dcff273cdfeb573fad8bcd45578bec2e770d01efde86e721a3f7c6cce275dab"
	         "e6e2143f1af18da7efddc4c7b70b5e345db93cc936bea323491ccb38a388f546a9ff00dd4e1300b9b2153d2041d205b4"
	         "43e41b45a653f2a5c4492c1add544512dda2529833462b71a41a45be97290b6f";
	if (shake(128, MSG0, 0))
		return -1;

	answer = "46b9dd2b0ba88d13233b3feb743eeb243fcd52ea62b81b82b50c27646ed5762fd75dc4ddd8c0f200cb05019d67b592f6"
	         "fc821c49479ab48640292eacb3b7c4be141e96616fb13957692cc7edd0b45ae3dc07223c8e92937bef84bc0eab862853"
	         "349ec75546f58fb7c2775c38462c5010d846c185c15111e595522a6bcd16cf86f3d122109e3b1fdd943b6aec468a2d62"
	         "1a7c06c6a957c62b54dafc3be87567d677231395f6147293b68ceab7a9e0c58d864e8efde4e1b9a46cbe854713672f5c"
	         "aaae314ed9083dab4b099f8e300f01b8650f1f4b1d8fcf3f3cb53fb8e9eb2ea203bdc970f50ae55428a91f7f53ac266b"
	         "28419c3778a15fd248d339ede785fb7f5a1aaa96d313eacc890936c173cdcd0fab882c45755feb3aed96d477ff96390b"
	         "f9a66d1368b208e21f7c10d04a3dbd4e360633e5db4b602601c14cea737db3dcf722632cc77851cbdde2aaf0a33a07b3"
	         "73445df490cc8fc1e4160ff118378f11f0477de055a81a9eda57a4a2cfb0c83929d310912f729ec6cfa36c6ac6a75837"
	         "143045d791cc85eff5b21932f23861bcf23a52b5da67eaf7baae0f5fb1369db78f3ac45f8c4ac5671d85735cdddb09d2"
	         "b1e34a1fc066ff4a162cb263d6541274ae2fcc865f618abe27c124cd8b074ccd516301b91875824d09958f341ef274bd"
	         "ab0bae316339894304e35877b0c28a9b1fd166c796b9cc258a064a8f57e27f2a";
	if (shake(256, MSG0, 0))
		return -1;


	answer = "ffbad5da96bad71789330206dc6768ecaeb1b32dca6b3301489674ab";
	if (sha3(224, MSG5, 5))
		return -1;

	answer = "7b0047cf5a456882363cbf0fb05322cf65f4b7059a46365e830132e3b5d957af";
	if (sha3(256, MSG5, 5))
		return -1;

	answer = "737c9b491885e9bf7428e792741a7bf8dca9653471c3e148473f2c236b6a0a6455eb1dce9f779b4b6b237fef171b1c64";
	if (sha3(384, MSG5, 5))
		return -1;

	answer = "a13e01494114c09800622a70288c432121ce70039d753cadd2e006e4d961cb27"
	         "544c1481e5814bdceb53be6733d5e099795e5e81918addb058e22a9f24883f37";
	if (sha3(512, MSG5, 5))
		return -1;

	answer = "2e0abfba83e6720bfbc225ff6b7ab9ffce58ba027ee3d898764fef287ddeccca3e6e5998411e7ddb32f67538f500b18c"
	         "8c97c452c370ea2cf0afca3e05de7e4de27fa441a9cb34fd17c978b42d5b7e7f9ab18ffeffc3c5ac2f3a455eebfdc76c"
	         "eaeb0a2cca22eef6e637f4cabe5c51ded2e3fad8b95270a321845664f107d16496bb7abfbe7504b6ede2e89e4b996fb5"
	         "8efdc4181f9163381cbe7bc006a7a205989c526cd1bd68983693b4bdc53728b241c1cff42bb611502c35205cabb28875"
	         "5655d620c67994f06451187f6fd17e046682ba1286063ff88fe2508d1fcaf9035a1231ad4150a9c9b24c9b2d66b2ad1b"
	         "de0bd0bbcb8be05b835229ef7919737323424401e1d837b66eb4e630ff1de70cb317c2bacb08001d3477b7a70a576d20"
	         "869033589d85a01ddb2b6646c043b59fc011311da666fa5ad1d6387fa9bc4015a38a51d1da1ea61d648dc8e39a88b9d6"
	         "22bde207fdabc6f2827a880c330bbf6df733774b653e57305d78dce112f10a2c71f4cdad92ed113e1cea63b91925ed28"
	         "191e6dbbb5aa5a2afda51fc05a3af5258b87665243550f28948ae2b8beb6bc9c770b35f067eaa641efe65b1a44909d1b"
	         "149f97eea601391c609ec81d1930f57c18a4e0fab491d1cadfd50483449edc0f07ffb24d2c6f9a9a3bff39ae3d57f560"
	         "654d7d75c908abe62564753eac39d7503da6d37c2e32e1af3b8aec8ae3069cd9";
	if (shake(128, MSG5, 5))
		return -1;

	answer = "48a5c11abaeeff092f3646ef0d6b3d3ff76c2f55f9c732ac6470c03764008212e21b1467778b181989f88858211b45df"
	         "8799cf961f800dfac99e644039e2979a4016f5456ff421c5b385da2b855da7e31c8c2e8e4ba41eb4095cb999d9759cb4"
	         "0358da8562a2e61349e05a2e13f1b74ec9e69f5b426dc74138ffcdc571c32b39b9f55563e1a99dc422c306026d6a0f9d"
	         "e85162b386794ca0688b764b3d32200cc459749732a0f3a341c0efc96a22c63bad7d96cc9ba4768c6fcfa1f200107cf9"
	         "fae5c0d754958c5a756b376a3be69f88074f200e9e95a8ca5bcf969998db1dc37d0d3d916f6caab3f03782c9c44a2e14"
	         "e80786bece4587b9ef82cbf454e0e34bd175ae57d36af4e726b221332ced36c8ce2e06203c656ae8da037d08e7160b48"
	         "0c1a8516bf06dd97bf4aa4c0249310dc0b065dc639576355384d165c6a509b12f7bbd1e15b22bce02fa048ddfaacf741"
	         "5f49b6324c1d067b5264e1125f7f75427f312bd9346eb4e400b1f7cb31288c9e3f735eca9ced0db888e2e2f402243bd6"
	         "4618a23e10f9c229397440542d0ab1b2e10dacc5c95e597f2c7ea38438105f97803dbb03fcc0fd416b0905a41d184deb"
	         "238905775891f93501fb4176a3bd6c464461d36ee8b008aabd9e26a34055e80c8c813eeba07f728ab32b15605ad161a0"
	         "669f6fce5c5509fbb6afd24aeacc5fa4a51523e6b173246ed4bfa521d74fc6bb";
	if (shake(256, MSG5, 5))
		return -1;


	answer = "d666a514cc9dba25ac1ba69ed3930460deaac9851b5f0baab007df3b";
	if (sha3(224, MSG30, 30))
		return -1;

	answer = "c8242fef409e5ae9d1f1c857ae4dc624b92b19809f62aa8c07411c54a078b1d0";
	if (sha3(256, MSG30, 30))
		return -1;

	answer = "955b4dd1be03261bd76f807a7efd432435c417362811b8a50c564e7ee9585e1ac7626dde2fdc030f876196ea267f08c3";
	if (sha3(384, MSG30, 30))
		return -1;

	answer = "9834c05a11e1c5d3da9c740e1c106d9e590a0e530b6f6aaa7830525d075ca5db"
	         "1bd8a6aa981a28613ac334934a01823cd45f45e49b6d7e6917f2f16778067bab";
	if (sha3(512, MSG30, 30))
		return -1;

	answer = "6d5d39c55f3cca567feaf422dc64ba17401d07756d78b0fa3d546d66afc27671e0010685fc69a7ec3c5367b8fa5fda39"
	         "d57ce53f153fa4031d277206770aec6b2ddf16aefab669110d6e4a296a14fb1486b0846b690543e4057f7f42aa8c0e6a"
	         "5a56b60b688d55a196df6f3976e30688cbb6afd48525d76490357f3fd897bafc8736d907b9bac816591fc24e79360be3"
	         "a7ffa62982c45abb0e584c07ec93a19530509d9f816215d7277bb999437c821450f0759281cd8e16a3483e3cc752091b"
	         "7aae92909d2f501ef7dce989759891b3377ceab493ffe496010a0c7e51959994f56f565e633af6093ac6e1e0f0048871"
	         "ec4778f48ef8bd5bcb80ea7df9ff4711c81e24c0221c2ad9744fba7935eaeca114224fd108efc5ac74c66252089275b4"
	         "277673708c4af92f8813b193599fd64bd7484f2e5ec369e3646499768e581dd053aa4814d8bf1acff5fd774519a749be"
	         "66754741ebc5362212a9fea8a814e9e010bc2720b3b7d94fab74bc7f923e1072b8a5dddda83ba0157d8cba55c192df69"
	         "65cb7dba46a3340df8c3fa89c7c4db539d38dc406f1d2cf54e5905580b4404bfd7b3719561c5a59d5dfdb1bf93df1382"
	         "5225edcce0fa7d87efcd239feb49fc9e2de9d828feeb1f2cf579b95dd050ab2ca47105a8d30f3fd2a1154c15f87fb37b"
	         "2c7156bd7f3cf2b745c912a40bc1b559b656e3e903cc5733e86ba15dfef70678";
	if (shake(128, MSG30, 30))
		return -1;

	answer = "465d081dff875e396200e4481a3e9dcd88d079aa6d66226cb6ba454107cb81a7841ab02960de279ccbe34b42c36585ad"
	         "86964db0db52b6e7b4369ece8f7248589ba78ab1828ffc335cb12397119bfd2b87eb7898aeb956b6f23ddf0bd4004386"
	         "a8e526554ef4e483facee30dd32e204fff8c36bbd602a576d139089c75a8050266fcbf721e4443de4645832922eb8aae"
	         "39d1f572845364817b0033543899940023f2e965a60a80eb221eb19dc57b121291564c6f693583b3ac7c6f272f4f67a1"
	         "9a7678d4234b0bf4a2ebc08aa235b9788db787161f6617022865c0ef9aa533802d136cdbc7aeba532acf1be183b0295a"
	         "b0e33a2ef69be356daaf309687153e2f99a1243609d603126a8c823e8843e459bfc72b30691cdcc3ddb27cf028afd51e"
	         "4437ee3b71c0c1ec87a93436f0c247b7e8c50ce96825c97029997a74c318afacaa18a0180bc7f2f0f1c5e7ef1a2d183a"
	         "c7ee7e4915c3b68c30978ab6c428193441df4705b722ce25a08a1fadca0eef1fafe83adf13021d520de5c827ff9a97b7"
	         "5546193a9b923f0590385dc4bff7c49d4915b5a365db4c84ddcb185de8f9eeb334965a42f1381c8badc22ba1f8ee4c0e"
	         "4daaf7a88e7f42ddb8148f3bf8d3b8d74f098155a37cb4cb27876b85da602e5c789c10e03be73407bab8c49213f8c74e"
	         "1266ce9b11286e674ca9c10c9c9955049a66e9051d9a2b1fc9afe26798e9cec6";
	if (shake(256, MSG30, 30))
		return -1;


	answer = "9376816aba503f72f96ce7eb65ac095deee3be4bf9bbc2a1cb7e11e0";
	if (sha3(224, MSG1600, 1600))
		return -1;

	answer = "79f38adec5c20307a98ef76e8324afbfd46cfd81b22e3973c65fa1bd9de31787";
	if (sha3(256, MSG1600, 1600))
		return -1;

	answer = "1881de2ca7e41ef95dc4732b8f5f002b189cc1e42b74168ed1732649ce1dbcdd76197a31fd55ee989f2d7050dd473e8f";
	if (sha3(384, MSG1600, 1600))
		return -1;

	answer = "e76dfad22084a8b1467fcf2ffa58361bec7628edf5f3fdc0e4805dc48caeeca8"
	         "1b7c13c30adf52a3659584739a2df46be589c51ca1a4a8416df6545a1ce8ba00";
	if (sha3(512, MSG1600, 1600))
		return -1;

	answer = "131ab8d2b594946b9c81333f9bb6e0ce75c3b93104fa3469d3917457385da037cf232ef7164a6d1eb448c8908186ad85"
	         "2d3f85a5cf28da1ab6fe3438171978467f1c05d58c7ef38c284c41f6c2221a76f12ab1c04082660250802294fb871802"
	         "13fdef5b0ecb7df50ca1f8555be14d32e10f6edcde892c09424b29f597afc270c904556bfcb47a7d40778d390923642b"
	         "3cbd0579e60908d5a000c1d08b98ef933f806445bf87f8b009ba9e94f7266122ed7ac24e5e266c42a82fa1bbefb7b8db"
	         "0066e16a85e0493f07df4809aec084a593748ac3dde5a6d7aae1e8b6e5352b2d71efbb47d4caeed5e6d633805d2d323e"
	         "6fd81b4684b93a2677d45e7421c2c6aea259b855a698fd7d13477a1fe53e5a4a6197dbec5ce95f505b520bcd9570c4a8"
	         "265a7e01f89c0c002c59bfec6cd4a5c109258953ee5ee70cd577ee217af21fa70178f0946c9bf6ca8751793479f6b537"
	         "737e40b6ed28511d8a2d7e73eb75f8daac912ff906e0ab955b083bac45a8e5e9b744c8506f37e9b4e749a184b30f43eb"
	         "188d855f1b70d71ff3e50c537ac1b0f8974f0fe1a6ad295ba42f6aec74d123a7abedde6e2c0711cab36be5acb1a5a11a"
	         "4b1db08ba6982efccd716929a7741cfc63aa4435e0b69a9063e880795c3dc5ef3272e11c497a91acf699fefee206227a"
	         "44c9fb359fd56ac0a9a75a743cff6862f17d7259ab075216c0699511643b6439";
	if (shake(128, MSG1600, 1600))
		return -1;

	answer = "cd8a920ed141aa0407a22d59288652e9d9f1a7ee0c1e7c1ca699424da84a904d2d700caae7396ece96604440577da4f3"
	         "aa22aeb8857f961c4cd8e06f0ae6610b1048a7f64e1074cd629e85ad7566048efc4fb500b486a3309a8f26724c0ed628"
	         "001a1099422468de726f1061d99eb9e93604d5aa7467d4b1bd6484582a384317d7f47d750b8f5499512bb85a226c4243"
	         "556e696f6bd072c5aa2d9b69730244b56853d16970ad817e213e470618178001c9fb56c54fefa5fee67d2da524bb3b0b"
	         "61ef0e9114a92cdbb6cccb98615cfe76e3510dd88d1cc28ff99287512f24bfafa1a76877b6f37198e3a641c68a7c42d4"
	         "5fa7acc10dae5f3cefb7b735f12d4e589f7a456e78c0f5e4c4471fffa5e4fa0514ae974d8c2648513b5db494cea84715"
	         "6d277ad0e141c24c7839064cd08851bc2e7ca109fd4e251c35bb0a04fb05b364ff8c4d8b59bc303e25328c09a882e952"
	         "518e1a8ae0ff265d61c465896973d7490499dc639fb8502b39456791b1b6ec5bcc5d9ac36a6df622a070d43fed781f5f"
	         "149f7b62675e7d1a4d6dec48c1c7164586eae06a51208c0b791244d307726505c3ad4b26b6822377257aa152037560a7"
	         "39714a3ca79bd605547c9b78dd1f596f2d4f1791bc689a0e9b799a37339c04275733740143ef5d2b58b96a363d4e0807"
	         "6a1a9d7846436e4dca5728b6f760eef0ca92bf0be5615e96959d767197a0beeb";
	if (shake(256, MSG1600, 1600))
		return -1;


	answer = "22d2f7bb0b173fd8c19686f9173166e3ee62738047d7eadd69efb228";
	if (sha3(224, MSG1605, 1605))
		return -1;

	answer = "81ee769bed0950862b1ddded2e84aaa6ab7bfdd3ceaa471be31163d40336363c";
	if (sha3(256, MSG1605, 1605))
		return -1;

	answer = "a31fdbd8d576551c21fb1191b54bda65b6c5fe97f0f4a69103424b43f7fdb835979fdbeae8b3fe16cb82e587381eb624";
	if (sha3(384, MSG1605, 1605))
		return -1;

	answer = "fc4a167ccb31a937d698fde82b04348c9539b28f0c9d3b4505709c03812350e4"
	         "990e9622974f6e575c47861c0d2e638ccfc2023c365bb60a93f528550698786b";
	if (sha3(512, MSG1605, 1605))
		return -1;

	answer = "4ac38ebd1678b4a452792c5673f9777d36b55451aaae2424924942d318a2f6f51bbc837dcc7022c5403b69d29ac99a74"
	         "5f06d06f2a41b0cc243cd270fa44d43065af00d2ad358bd5a5d06d331bc230cd8dda4655628f9102711adafb7636c160"
	         "b2d25ec6235a2fe0f37394d87fc5ffd7dbf1993e558aebea6c61e907188c61f5fcde278e264f958ffd7b3382dc10139b"
	         "625e1241ab5bbc2a1fbcac31a335cfc7b20e427712246cbb55232259a7ef1602bd56f6567d66942d4a7149f4222210b0"
	         "74ea54154b38e8fdfa0dcf4fa3ecd2154e8318a6578b535dbcfc217a3cab52532965846f89781457025563e2dc15cc3a"
	         "f902ba2ad280ffbbbfa4c52b60fa41bac21f4ab23536268119fc98cd982da5cd5da21e1b5692d47105de9f1e0132c6fe"
	         "315d67fa464997c2ab5533c79f98e6e64ff80802a7fe96ca04a81f885527370a2206b10b3936dd81b8246353f4cd9051"
	         "1089268d744f210ac689d49d2875054a727b604d13d269b37190d427c7d15cccdcd7870e0b8adbeb977111a9bcf7781a"
	         "161356a5941c799907ef9d3b1a441f09515f2831c4fafde3dc7c1e9b5aa57d3e83cd6734da3d8b9ef3fc448805ea29c9"
	         "9cba6b352bcabe2fd970ae9580d2bf25152b960e6b806d87d7d0608b247f61089e298692c27f19c52d03ebe395a36806"
	         "ad540bec2d046c18e355faf8313d2ef8995ee6aae42568f314933e3a21e5be40";
	if (shake(128, MSG1605, 1605))
		return -1;

	answer = "98d093b067475760124ffb9204a5b327c6bb05c54ff234f0b43fac7240415166a8c705ea0d739f0808b06576d996662c"
	         "1f376694d98f515719b66407720dcf781c51cd56ef8b610c668ddc1ac1c2c429ea4d6f274aa7a773bf8b0cab306f1eee"
	         "2a171b91334ea0facd2aac1f51d4d5eb0e63a4e6754ecafeec246b7aaf58d0e0a974c7ff4058bdbdedb33ed04b0fa45d"
	         "70c7c84f3da13e4f7d1beddb534d37e5abdfb29f2b44c4fb0d6ccab831d90ba46a00530662f907dedd479e9b5428e5e2"
	         "db8040b0e2b1f174ce347f32a06a5ac22b19aafe927b8878d0c8103a4d2f19e32336c64cfadc1b9acb3978a8298571dc"
	         "d89c36a65692816d0c61ce0ed17942367017bd40f59dfbae34635827920afe7a27bf567009a138403f06b6e4de94da07"
	         "7db49773c235466119426f79888d3a81b407dfeba87e01cd48f90e01b6f90243c40125de47e8c8f3e6ea3388cbfeeb36"
	         "541ef23d2c8348458ea28caa5066f4983776f0cb2fdc66049cf88ac8eae51212aace867bea4c3caee44f147a9bf99d04"
	         "874e8722d03d3f5ff6ef3bebe7642fe4916c5f10ff3fd61387d5d91bcd32f9e8e4593dcaad23eccc05d2fc9be2c1cd63"
	         "0ea123dca9cb6938d60cddedc11e1e9bc9d268a5456ba9ccff18597c5ff9735708413b9d84b9f4721937cc6595712797"
	         "532b48d6f1a2d1723b07d5460bc13916d96e88180713ac33d2c232e35e764e04";
	if (shake(256, MSG1605, 1605))
		return -1;


	answer = "4e907bb1057861f200a599e9d4f85b02d88453bf5b8ace9ac589134c";
	if (sha3(224, MSG1630, 1630))
		return -1;

	answer = "52860aa301214c610d922a6b6cab981ccd06012e54ef689d744021e738b9ed20";
	if (sha3(256, MSG1630, 1630))
		return -1;

	answer = "3485d3b280bd384cf4a777844e94678173055d1cbc40c7c2c3833d9ef12345172d6fcd31923bb8795ac81847d3d8855c";
	if (sha3(384, MSG1630, 1630))
		return -1;

	answer = "cf9a30ac1f1f6ac0916f9fef1919c595debe2ee80c85421210fdf05f1c6af73a"
	         "a9cac881d0f91db6d034a2bbadc1cf7fbcb2ecfa9d191d3a5016fb3fad8709c9";
	if (sha3(512, MSG1630, 1630))
		return -1;

	answer = "89846dc776ac0f014572ea79f560773451002938248e6882569ac32aeab191fcacde68eb07557539c4845fb444108e6e"
	         "0545e731fcca2d4f67a3bfd41cff3eaf35eefb53441177965bb516950cf5dcb2aafcbbc6300e8eefd9bcd0e5f32d1a4e"
	         "872e0f1dbd8f8e00cbb878698c5883e3ca184b9490389e46002c08a0b16b05a36b2cb5a1cae08e11ad972fd24af70101"
	         "ce4746c84f1671877f0df6c415d1670ff40b8ddedd89cc3e656db9058049d609b6784cc9d05e60cc6ac9c8194993ba29"
	         "158fd4db8cf225e9574f18a77f66ec1052bf17993bda206a17737d785bd4c18cee4c76aa5735a5223f3c55e79daec13d"
	         "4bf60f1562e0ad0fa3b558eccfa8ab3eef61474d576e8caf4c11e4de5ccb36d7df7d892c1fca2017be8bbda5a4719544"
	         "8cc67a078e628a2ef763ffe1dc9d9d6ff78e68961c33ffd9000c11dee7f7408d8da5c605b0b4d56bb55e9364c77bfad9"
	         "c8191ed6e1fe7b7a937c6d07095fe5ea91a700b4bdfc17b428d036922aa8ab5e2cd585846fb81fc693b8d59bf85c74bc"
	         "700cd2bc3e6aab437d93d8a30f1cf692efef43602028e0ce5742eb3f4f4d5b029158dd6896acb5e3a7f684d9aa8914e7"
	         "0974b223a6fec38d76c7473e86e4b9b32c621e2015c55e947dd016c675c82368ce26fb456a5b65881af513bfdc88687c"
	         "6381676abbd2d9104ed23a9e89310246b026cedd57595b1ab6fe88a784be0c06";
	if (shake(128, MSG1630, 1630))
		return -1;
	if (cshake(128, "", "", MSG1630, 1630))
		return -1;

	answer = "8a8325079b0fc3265d52f59855cafe655df438aa639f6fec991f2494330ce32fa37f7db90f6966d8e4a46e50c5ede57b"
	         "9b8f082a96627f730475029a619229d84f432ed69fd059234d4d7dd358e8393f6a36a45ccf041f90fc0a4e5802d73063"
	         "d36531336a0090ecfe1a4d4d29aa824ba42b4937b4bb98f4f33a0e3bd8b511e69528d59537110d7521fb78aca018df76"
	         "160f54a3421b84149264ed032f6dce467a731a8e34048e3a46e98039df3c328debfbe5d1bc8be7ff4ef8917b01f0b789"
	         "3672492d6ee5c71df2d0531f8b684764ba0a2b57ec6a4f60ba4f36fe2db0e65ad7aa5f14f3ef9f34a0ab5bc33d488733"
	         "ba36bf4b2b4fce028eff8c6ce03b192cf075cc9f00d29c0e06c35c4489d27f07fa49a91ca92471e34dab7787ae24a6e0"
	         "f309ef0ba53f7c8b2992520a07bedd509a0b6dbea570a5960ed624826dd8ecd1915c87327e74491c405a7411c12c0d44"
	         "97512689bd7f5adbedb02c6d2e68474e8bf31b884040818f4bca03a45217eac7083ad3a33cb8477a04c9e3266a133477"
	         "de45e71830a40eb0d075afccfcd9dc548d0d529460ea7ac2adac722e7678ef597dd3b495bd7d1a8ff39448bbab1dc6a8"
	         "8481801cf5a8010e873c31e479a5e3db3d4e67d1d948e67cc66fd75a4a19c120662ef55977bddbac0721c80d69902693"
	         "c83d5ef7bc27efa393af4c439fc39958e0e75537358802ef0853b7470b0f19ac";
	if (shake(256, MSG1630, 1630))
		return -1;
	if (cshake(256, "", "", MSG1630, 1630))
		return -1;


	answer = "c1c36925b6409a04f1b504fcbca9d82b4017277cb5ed2b2065fc1d3814d5aaf5";
	if (cshake(128, "", "Email Signature", "\x00\x01\x02\x03", 32))
		return -1;

	answer = "c5221d50e4f822d96a2e8881a961420f294b7b24fe3d2094baed2c6524cc166b";
	if(cshake(128, "", "Email Signature", SEQ1600, 1600))
		return -1;

	answer = "d008828e2b80ac9d2218ffee1d070c48b8e4c87bff32c9699d5b6896eee0edd1"
	         "64020e2be0560858d9c00c037e34a96937c561a74c412bb4c746469527281c8c";
	if (cshake(256, "", "Email Signature", "\x00\x01\x02\x03", 32))
		return -1;

	answer = "07dc27b11e51fbac75bc7b3c1d983e8b4b85fb1defaf218912ac864302730917"
	         "27f42b17ed1df63e8ec118f04b23633c1dfb1574c8fb55cb45da8e25afb092bb";
	if(cshake(256, "", "Email Signature", SEQ1600, 1600))
		return -1;


	printf("\n");
	return 0;

#undef sha3
#undef shake
#undef cshake
#undef MSG0
#undef MSG5
#undef MSG30
#undef MSG1600_32
#undef MSG1600_160
#undef MSG1600_800
#undef MSG1600
#undef MSG1605
#undef MSG1630
#undef SEQ1600
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
leaq 0xe580(%rip), %rdi      # 0x11052
callq 0x1060
leaq 0x902c(%rip), %rdi      # 0xbb0a
leaq 0x9042(%rip), %rsi      # 0xbb27
xorl %edx, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x540, (%rdi)          # imm = 0x540
movq $0x100, 0x8(%rdi)       # imm = 0x100
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x8135(%rip), %rsi      # 0xac44
leaq 0x7ff6(%rip), %rdx      # 0xab0c
leaq 0x8bec(%rip), %r9       # 0xb709
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x4688
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
testl %eax, %eax
jne 0x3914
leaq 0x93f2(%rip), %rdi      # 0xbf2d
leaq 0x8fe5(%rip), %rsi      # 0xbb27
xorl %edx, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x80d8(%rip), %rsi      # 0xac44
leaq 0x7f99(%rip), %rdx      # 0xab0c
leaq 0x8fb2(%rip), %r9       # 0xbb2c
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x93f0(%rip), %rdi      # 0xbf83
leaq 0x9405(%rip), %rsi      # 0xbf9f
movl $0x5, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xdb80(%rip), %rsi      # 0x10747
leaq 0x93d6(%rip), %rdx      # 0xbfa4
leaq 0x9375(%rip), %r9       # 0xbf4a
movl $0x5, %r8d
xorl %ecx, %ecx
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x93f6(%rip), %rdi      # 0xbfe7
leaq 0x93a7(%rip), %rsi      # 0xbf9f
movl $0x5, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0xdb22(%rip), %rsi      # 0x10747
leaq 0x9378(%rip), %rdx      # 0xbfa4
leaq 0x9373(%rip), %r9       # 0xbfa6
movl $0x5, %r8d
xorl %ecx, %ecx
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x9415(%rip), %rdi      # 0xc064
leaq 0x9349(%rip), %rsi      # 0xbf9f
movl $0x5, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x340, (%rdi)          # imm = 0x340
movq $0x300, 0x8(%rdi)       # imm = 0x300
movq $0x180, 0x10(%rdi)      # imm = 0x180
leaq 0xdac4(%rip), %rsi      # 0x10747
leaq 0x931a(%rip), %rdx      # 0xbfa4
leaq 0x9372(%rip), %r9       # 0xc003
movl $0x5, %r8d
xorl %ecx, %ecx
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x9454(%rip), %rdi      # 0xc101
leaq 0x92eb(%rip), %rsi      # 0xbf9f
movl $0x5, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x240, (%rdi)          # imm = 0x240
movq $0x400, 0x8(%rdi)       # imm = 0x400
movq $0x200, 0x10(%rdi)      # imm = 0x200
leaq 0xda66(%rip), %rsi      # 0x10747
leaq 0x92bc(%rip), %rdx      # 0xbfa4
leaq 0x9391(%rip), %r9       # 0xc080
movl $0x5, %r8d
xorl %ecx, %ecx
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8dff(%rip), %rdi      # 0xbb0a
leaq 0x928d(%rip), %rsi      # 0xbf9f
movl $0x5, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x540, (%rdi)          # imm = 0x540
movq $0x100, 0x8(%rdi)       # imm = 0x100
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x7f05(%rip), %rsi      # 0xac44
leaq 0x925e(%rip), %rdx      # 0xbfa4
leaq 0x93d0(%rip), %r9       # 0xc11d
movl $0x5, %r8d
xorl %ecx, %ecx
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x91c4(%rip), %rdi      # 0xbf2d
leaq 0x922f(%rip), %rsi      # 0xbf9f
movl $0x5, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x7ea7(%rip), %rsi      # 0xac44
leaq 0x9200(%rip), %rdx      # 0xbfa4
leaq 0x9773(%rip), %r9       # 0xc51e
movl $0x5, %r8d
xorl %ecx, %ecx
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x91bc(%rip), %rdi      # 0xbf83
leaq 0x9b8a(%rip), %rsi      # 0xc958
movl $0x1e, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xd94c(%rip), %rsi      # 0x10747
leaq 0x9b5c(%rip), %rdx      # 0xc95e
leaq 0x9b16(%rip), %r9       # 0xc91f
movl $0x3, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x91bf(%rip), %rdi      # 0xbfe7
leaq 0x9b29(%rip), %rsi      # 0xc958
movl $0x1e, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0xd8eb(%rip), %rsi      # 0x10747
leaq 0x9afb(%rip), %rdx      # 0xc95e
leaq 0x9af9(%rip), %r9       # 0xc963
movl $0x3, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x91db(%rip), %rdi      # 0xc064
leaq 0x9ac8(%rip), %rsi      # 0xc958
movl $0x1e, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x340, (%rdi)          # imm = 0x340
movq $0x300, 0x8(%rdi)       # imm = 0x300
movq $0x180, 0x10(%rdi)      # imm = 0x180
leaq 0xd88a(%rip), %rsi      # 0x10747
leaq 0x9a9a(%rip), %rdx      # 0xc95e
leaq 0x9ad9(%rip), %r9       # 0xc9a4
movl $0x3, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x9217(%rip), %rdi      # 0xc101
leaq 0x9a67(%rip), %rsi      # 0xc958
movl $0x1e, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x240, (%rdi)          # imm = 0x240
movq $0x400, 0x8(%rdi)       # imm = 0x400
movq $0x200, 0x10(%rdi)      # imm = 0x200
leaq 0xd829(%rip), %rsi      # 0x10747
leaq 0x9a39(%rip), %rdx      # 0xc95e
leaq 0x9ad9(%rip), %r9       # 0xca05
movl $0x3, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8bbf(%rip), %rdi      # 0xbb0a
leaq 0x9a06(%rip), %rsi      # 0xc958
movl $0x1e, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x540, (%rdi)          # imm = 0x540
movq $0x100, 0x8(%rdi)       # imm = 0x100
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x7cc5(%rip), %rsi      # 0xac44
leaq 0x99d8(%rip), %rdx      # 0xc95e
leaq 0x9af9(%rip), %r9       # 0xca86
movl $0x3, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8f81(%rip), %rdi      # 0xbf2d
leaq 0x99a5(%rip), %rsi      # 0xc958
movl $0x1e, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x7c64(%rip), %rsi      # 0xac44
leaq 0x9977(%rip), %rdx      # 0xc95e
leaq 0x9e99(%rip), %r9       # 0xce87
movl $0x3, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8f76(%rip), %rdi      # 0xbf83
leaq 0xa2ad(%rip), %rsi      # 0xd2c1
movl $0x640, %edx            # imm = 0x640
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xd706(%rip), %rsi      # 0x10747
leaq 0xa281(%rip), %rdx      # 0xd2c9
leaq 0xa239(%rip), %r9       # 0xd288
movl $0xc8, %ecx
xorl %r8d, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8f7c(%rip), %rdi      # 0xbfe7
leaq 0xa24f(%rip), %rsi      # 0xd2c1
movl $0x640, %edx            # imm = 0x640
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0xd6a8(%rip), %rsi      # 0x10747
leaq 0xa223(%rip), %rdx      # 0xd2c9
leaq 0xa2e5(%rip), %r9       # 0xd392
movl $0xc8, %ecx
xorl %r8d, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8f9b(%rip), %rdi      # 0xc064
leaq 0xa1f1(%rip), %rsi      # 0xd2c1
movl $0x640, %edx            # imm = 0x640
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x340, (%rdi)          # imm = 0x340
movq $0x300, 0x8(%rdi)       # imm = 0x300
movq $0x180, 0x10(%rdi)      # imm = 0x180
leaq 0xd64a(%rip), %rsi      # 0x10747
leaq 0xa1c5(%rip), %rdx      # 0xd2c9
leaq 0xa2c8(%rip), %r9       # 0xd3d3
movl $0xc8, %ecx
xorl %r8d, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8fda(%rip), %rdi      # 0xc101
leaq 0xa193(%rip), %rsi      # 0xd2c1
movl $0x640, %edx            # imm = 0x640
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x240, (%rdi)          # imm = 0x240
movq $0x400, 0x8(%rdi)       # imm = 0x400
movq $0x200, 0x10(%rdi)      # imm = 0x200
leaq 0xd5ec(%rip), %rsi      # 0x10747
leaq 0xa167(%rip), %rdx      # 0xd2c9
leaq 0xa2cb(%rip), %r9       # 0xd434
movl $0xc8, %ecx
xorl %r8d, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8985(%rip), %rdi      # 0xbb0a
leaq 0xa135(%rip), %rsi      # 0xd2c1
movl $0x640, %edx            # imm = 0x640
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x540, (%rdi)          # imm = 0x540
movq $0x100, 0x8(%rdi)       # imm = 0x100
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x7a8b(%rip), %rsi      # 0xac44
leaq 0xa109(%rip), %rdx      # 0xd2c9
leaq 0xa2ee(%rip), %r9       # 0xd4b5
movl $0xc8, %ecx
xorl %r8d, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8d4a(%rip), %rdi      # 0xbf2d
leaq 0xa0d7(%rip), %rsi      # 0xd2c1
movl $0x640, %edx            # imm = 0x640
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x7a2d(%rip), %rsi      # 0xac44
leaq 0xa0ab(%rip), %rdx      # 0xd2c9
leaq 0xa691(%rip), %r9       # 0xd8b6
movl $0xc8, %ecx
xorl %r8d, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8d42(%rip), %rdi      # 0xbf83
leaq 0xaaa8(%rip), %rsi      # 0xdcf0
movl $0x645, %edx            # imm = 0x645
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xd4d2(%rip), %rsi      # 0x10747
leaq 0xaa7c(%rip), %rdx      # 0xdcf8
leaq 0xaa34(%rip), %r9       # 0xdcb7
movl $0xc8, %ecx
movl $0x5, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8d45(%rip), %rdi      # 0xbfe7
leaq 0xaa47(%rip), %rsi      # 0xdcf0
movl $0x645, %edx            # imm = 0x645
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0xd471(%rip), %rsi      # 0x10747
leaq 0xaa1b(%rip), %rdx      # 0xdcf8
leaq 0xaade(%rip), %r9       # 0xddc2
movl $0xc8, %ecx
movl $0x5, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8d61(%rip), %rdi      # 0xc064
leaq 0xa9e6(%rip), %rsi      # 0xdcf0
movl $0x645, %edx            # imm = 0x645
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x340, (%rdi)          # imm = 0x340
movq $0x300, 0x8(%rdi)       # imm = 0x300
movq $0x180, 0x10(%rdi)      # imm = 0x180
leaq 0xd410(%rip), %rsi      # 0x10747
leaq 0xa9ba(%rip), %rdx      # 0xdcf8
leaq 0xaabe(%rip), %r9       # 0xde03
movl $0xc8, %ecx
movl $0x5, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8d9d(%rip), %rdi      # 0xc101
leaq 0xa985(%rip), %rsi      # 0xdcf0
movl $0x645, %edx            # imm = 0x645
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x240, (%rdi)          # imm = 0x240
movq $0x400, 0x8(%rdi)       # imm = 0x400
movq $0x200, 0x10(%rdi)      # imm = 0x200
leaq 0xd3af(%rip), %rsi      # 0x10747
leaq 0xa959(%rip), %rdx      # 0xdcf8
leaq 0xaabe(%rip), %r9       # 0xde64
movl $0xc8, %ecx
movl $0x5, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8745(%rip), %rdi      # 0xbb0a
leaq 0xa924(%rip), %rsi      # 0xdcf0
movl $0x645, %edx            # imm = 0x645
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x540, (%rdi)          # imm = 0x540
movq $0x100, 0x8(%rdi)       # imm = 0x100
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x784b(%rip), %rsi      # 0xac44
leaq 0xa8f8(%rip), %rdx      # 0xdcf8
leaq 0xaade(%rip), %r9       # 0xdee5
movl $0xc8, %ecx
movl $0x5, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8b07(%rip), %rdi      # 0xbf2d
leaq 0xa8c3(%rip), %rsi      # 0xdcf0
movl $0x645, %edx            # imm = 0x645
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x77ea(%rip), %rsi      # 0xac44
leaq 0xa897(%rip), %rdx      # 0xdcf8
leaq 0xae7e(%rip), %r9       # 0xe2e6
movl $0xc8, %ecx
movl $0x5, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8afc(%rip), %rdi      # 0xbf83
leaq 0xb292(%rip), %rsi      # 0xe720
movl $0x65e, %edx            # imm = 0x65E
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xd28c(%rip), %rsi      # 0x10747
leaq 0xb266(%rip), %rdx      # 0xe728
leaq 0xb21e(%rip), %r9       # 0xe6e7
movl $0xcb, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8aff(%rip), %rdi      # 0xbfe7
leaq 0xb231(%rip), %rsi      # 0xe720
movl $0x65e, %edx            # imm = 0x65E
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0xd22b(%rip), %rsi      # 0x10747
leaq 0xb205(%rip), %rdx      # 0xe728
leaq 0xb2cb(%rip), %r9       # 0xe7f5
movl $0xcb, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8b1b(%rip), %rdi      # 0xc064
leaq 0xb1d0(%rip), %rsi      # 0xe720
movl $0x65e, %edx            # imm = 0x65E
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x340, (%rdi)          # imm = 0x340
movq $0x300, 0x8(%rdi)       # imm = 0x300
movq $0x180, 0x10(%rdi)      # imm = 0x180
leaq 0xd1ca(%rip), %rsi      # 0x10747
leaq 0xb1a4(%rip), %rdx      # 0xe728
leaq 0xb2ab(%rip), %r9       # 0xe836
movl $0xcb, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x8b57(%rip), %rdi      # 0xc101
leaq 0xb16f(%rip), %rsi      # 0xe720
movl $0x65e, %edx            # imm = 0x65E
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x240, (%rdi)          # imm = 0x240
movq $0x400, 0x8(%rdi)       # imm = 0x400
movq $0x200, 0x10(%rdi)      # imm = 0x200
leaq 0xd169(%rip), %rsi      # 0x10747
leaq 0xb143(%rip), %rdx      # 0xe728
leaq 0xb2ab(%rip), %r9       # 0xe897
movl $0xcb, %ecx
movl $0x6, %r8d
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0x84ff(%rip), %rdi      # 0xbb0a
leaq 0xb10e(%rip), %rsi      # 0xe720
movl $0x65e, %edx            # imm = 0x65E
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x540, (%rdi)          # imm = 0x540
movq $0x100, 0x8(%rdi)       # imm = 0x100
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x7605(%rip), %rsi      # 0xac44
leaq 0xb0e2(%rip), %rdx      # 0xe728
leaq 0xb2cb(%rip), %r14      # 0xe918
movl $0xcb, %ecx
movl $0x6, %r8d
movq %r14, %r9
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0xb6aa(%rip), %rdi      # 0xed19
leaq 0x6bae(%rip), %rdx      # 0xa224
leaq 0xb0a3(%rip), %rcx      # 0xe720
movq %rdx, %rsi
movl $0x65e, %r8d            # imm = 0x65E
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x540, (%rdi)          # imm = 0x540
movq $0x100, 0x8(%rdi)       # imm = 0x100
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x7596(%rip), %rsi      # 0xac44
leaq 0x7457(%rip), %rdx      # 0xab0c
leaq 0xb06c(%rip), %r8       # 0xe728
movl $0xcb, %r9d
xorl %ecx, %ecx
pushq %r14
pushq $0x6
callq 0x4864
addq $0x10, %rsp
testl %eax, %eax
jne 0x3914
leaq 0x884d(%rip), %rdi      # 0xbf2d
leaq 0xb039(%rip), %rsi      # 0xe720
movl $0x65e, %edx            # imm = 0x65E
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x7530(%rip), %rsi      # 0xac44
leaq 0xb00d(%rip), %rdx      # 0xe728
leaq 0xb61d(%rip), %r14      # 0xed3f
movl $0xcb, %ecx
movl $0x6, %r8d
movq %r14, %r9
callq 0x4688
testl %eax, %eax
jne 0x3914
leaq 0xb9fc(%rip), %rdi      # 0xf140
leaq 0x6ad9(%rip), %rdx      # 0xa224
leaq 0xafce(%rip), %rcx      # 0xe720
movq %rdx, %rsi
movl $0x65e, %r8d            # imm = 0x65E
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x1000, 0x10(%rdi)     # imm = 0x1000
leaq 0x74c1(%rip), %rsi      # 0xac44
leaq 0x7382(%rip), %rdx      # 0xab0c
leaq 0xaf97(%rip), %r8       # 0xe728
movl $0xcb, %r9d
xorl %ecx, %ecx
pushq %r14
pushq $0x6
callq 0x4864
addq $0x10, %rsp
testl %eax, %eax
jne 0x3914
leaq 0xb564(%rip), %rdi      # 0xed19
leaq 0x6a68(%rip), %rsi      # 0xa224
leaq 0xb9e4(%rip), %rdx      # 0xf1a7
leaq 0xb9ef(%rip), %rcx      # 0xf1b9
movl $0x20, %r8d
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x540, (%rdi)          # imm = 0x540
movl $0x100, %r14d           # imm = 0x100
movq %r14, 0x8(%rdi)
movq %r14, 0x10(%rdi)
leaq 0xb970(%rip), %rax      # 0xf166
leaq 0x9ac9(%rip), %rsi      # 0xd2c6
leaq 0xb9c8(%rip), %rdx      # 0xf1cc
leaq 0xd968(%rip), %r8       # 0x11173
movl $0xf, %ecx
movl $0x4, %r9d
pushq %rax
pushq $0x0
callq 0x4864
addq $0x10, %rsp
testl %eax, %eax
jne 0x3914
leaq 0xb4e8(%rip), %rdi      # 0xed19
leaq 0x69ec(%rip), %rsi      # 0xa224
leaq 0xb968(%rip), %rdx      # 0xf1a7
leaq 0xb9d7(%rip), %rcx      # 0xf21d
movl $0x640, %r8d            # imm = 0x640
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x540, (%rdi)          # imm = 0x540
movq %r14, 0x8(%rdi)
movq %r14, 0x10(%rdi)
leaq 0xb970(%rip), %rax      # 0xf1dc
leaq 0x9a53(%rip), %rsi      # 0xd2c6
leaq 0xb952(%rip), %rdx      # 0xf1cc
leaq 0xd8f7(%rip), %r8       # 0x11178
movl $0xf, %ecx
movl $0xc8, %r9d
pushq %rax
pushq $0x0
callq 0x4864
addq $0x10, %rsp
testl %eax, %eax
jne 0x3914
leaq 0xb89d(%rip), %rdi      # 0xf140
leaq 0x697a(%rip), %rsi      # 0xa224
leaq 0xb8f6(%rip), %rdx      # 0xf1a7
leaq 0xb901(%rip), %rcx      # 0xf1b9
movl $0x20, %r8d
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movl $0x200, %r14d           # imm = 0x200
movq %r14, 0x8(%rdi)
movq %r14, 0x10(%rdi)
leaq 0xb941(%rip), %rax      # 0xf225
leaq 0x99db(%rip), %rsi      # 0xd2c6
leaq 0xb8da(%rip), %rdx      # 0xf1cc
leaq 0xd87a(%rip), %r8       # 0x11173
movl $0xf, %ecx
movl $0x4, %r9d
pushq %rax
pushq $0x0
callq 0x4864
addq $0x10, %rsp
testl %eax, %eax
je 0x391e
movl %ebx, %eax
addq $0x18, %rsp
popq %rbx
popq %r14
retq
leaq 0xb81b(%rip), %rdi      # 0xf140
leaq 0x68f8(%rip), %rsi      # 0xa224
leaq 0xb874(%rip), %rdx      # 0xf1a7
leaq 0xb8e3(%rip), %rcx      # 0xf21d
movl $0x640, %r8d            # imm = 0x640
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq %r14, 0x8(%rdi)
movq %r14, 0x10(%rdi)
leaq 0xb946(%rip), %rax      # 0xf2a6
leaq 0x995f(%rip), %rsi      # 0xd2c6
leaq 0xb85e(%rip), %rdx      # 0xf1cc
leaq 0xd803(%rip), %r8       # 0x11178
movl $0xf, %ecx
movl $0xc8, %r9d
pushq %rax
pushq $0x0
callq 0x4864
addq $0x10, %rsp
testl %eax, %eax
jne 0x3914
movl $0xa, %edi
callq 0x1040
xorl %ebx, %ebx
jmp 0x3914