more uses of BOOL ObjC type