constant_time_ge_8_s
is_past_c = is_block_a & constant_time_ge_8_s(j, c);
is_past_cp1 = is_block_a & constant_time_ge_8_s(j, c + 1);
unsigned char mask = constant_time_ge_8_s(padding_length, i);