CHECK_BOOL_VECTOR 3729 src/data.c       CHECK_BOOL_VECTOR (a);
CHECK_BOOL_VECTOR 3730 src/data.c       CHECK_BOOL_VECTOR (b);
CHECK_BOOL_VECTOR 3747 src/data.c           CHECK_BOOL_VECTOR (dest);
CHECK_BOOL_VECTOR 3956 src/data.c       CHECK_BOOL_VECTOR (a);
CHECK_BOOL_VECTOR 3963 src/data.c           CHECK_BOOL_VECTOR (b);
CHECK_BOOL_VECTOR 3997 src/data.c       CHECK_BOOL_VECTOR (a);
CHECK_BOOL_VECTOR 4025 src/data.c       CHECK_BOOL_VECTOR (a);