use ck_assert instead of ck_assert_int_gt