+ for (i = 0; i < 32; ++i)
+ ret |= crypto1_bit(s, BEBIT(in, i), is_encrypted) << (i ^ 24);
+*/
+//unfold loop 2016012
+ uint32_t ret = 0;
+ ret |= crypto1_bit(s, BEBIT(in, 0), is_encrypted) << (0 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 1), is_encrypted) << (1 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 2), is_encrypted) << (2 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 3), is_encrypted) << (3 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 4), is_encrypted) << (4 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 5), is_encrypted) << (5 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 6), is_encrypted) << (6 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 7), is_encrypted) << (7 ^ 24);
+
+ ret |= crypto1_bit(s, BEBIT(in, 8), is_encrypted) << (8 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 9), is_encrypted) << (9 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 10), is_encrypted) << (10 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 11), is_encrypted) << (11 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 12), is_encrypted) << (12 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 13), is_encrypted) << (13 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 14), is_encrypted) << (14 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 15), is_encrypted) << (15 ^ 24);
+
+ ret |= crypto1_bit(s, BEBIT(in, 16), is_encrypted) << (16 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 17), is_encrypted) << (17 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 18), is_encrypted) << (18 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 19), is_encrypted) << (19 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 20), is_encrypted) << (20 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 21), is_encrypted) << (21 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 22), is_encrypted) << (22 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 23), is_encrypted) << (23 ^ 24);
+
+ ret |= crypto1_bit(s, BEBIT(in, 24), is_encrypted) << (24 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 25), is_encrypted) << (25 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 26), is_encrypted) << (26 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 27), is_encrypted) << (27 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 28), is_encrypted) << (28 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 29), is_encrypted) << (29 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 30), is_encrypted) << (30 ^ 24);
+ ret |= crypto1_bit(s, BEBIT(in, 31), is_encrypted) << (31 ^ 24);