let
check_join_assert = ref 0