TEST_uint64_t_lt
if (!TEST_uint64_t_lt(ccm->get_tx_allowance(cc), allowance))
if (!TEST_uint64_t_lt(txke, hl->check_op->arg2))
if (!TEST_uint64_t_lt(max_value, UINT64_MAX))
if (!TEST_uint64_t_lt(old_value, UINT64_MAX))
if (!TEST_uint64_t_lt(f.ack_ranges[i].end, 1000))
if (!TEST_uint64_t_lt(real_bw, TEST_BW_LIMIT))
if (!TEST_uint64_t_lt(slot, NUM_SLOTS))
if (!TEST_uint64_t_lt(slot, NUM_SLOTS))