CHECK_BOOL_VECTOR 3677 src/data.c       CHECK_BOOL_VECTOR (a);
CHECK_BOOL_VECTOR 3678 src/data.c       CHECK_BOOL_VECTOR (b);
CHECK_BOOL_VECTOR 3695 src/data.c           CHECK_BOOL_VECTOR (dest);
CHECK_BOOL_VECTOR 3904 src/data.c       CHECK_BOOL_VECTOR (a);
CHECK_BOOL_VECTOR 3911 src/data.c           CHECK_BOOL_VECTOR (b);
CHECK_BOOL_VECTOR 3945 src/data.c       CHECK_BOOL_VECTOR (a);
CHECK_BOOL_VECTOR 3973 src/data.c       CHECK_BOOL_VECTOR (a);