Yes, but the latter definition shadows the former, no?  I would argue that the first of those two definitions in openmp.py is redundant.