In any case where this predicate is true, won't line 51 cause the preprocessor to error out?