let check_is_included_assert = ref 0