Added BoolList_Valid_2 C code