CHECK_BOOL_VECTOR 3676 src/data.c       CHECK_BOOL_VECTOR (a);
CHECK_BOOL_VECTOR 3677 src/data.c       CHECK_BOOL_VECTOR (b);
CHECK_BOOL_VECTOR 3694 src/data.c           CHECK_BOOL_VECTOR (dest);
CHECK_BOOL_VECTOR 3903 src/data.c       CHECK_BOOL_VECTOR (a);
CHECK_BOOL_VECTOR 3910 src/data.c           CHECK_BOOL_VECTOR (b);
CHECK_BOOL_VECTOR 3944 src/data.c       CHECK_BOOL_VECTOR (a);
CHECK_BOOL_VECTOR 3972 src/data.c       CHECK_BOOL_VECTOR (a);