constant_time_ge_s
return (unsigned char)constant_time_ge_s(a, b);
good = constant_time_ge_s(*reclen, overhead + padding_length);
good = constant_time_ge_s(*reclen, padding_length + overhead);
good &= constant_time_ge_s(block_size, padding_length + 1);
|| !test_binary_op_s(&constant_time_ge_s, "constant_time_ge_s",
|| !test_binary_op_s(&constant_time_ge_s, "constant_time_ge_s",