NORMAL             50 src/global-handles.cc NORMAL,     // Normal global handle.
NORMAL           4221 src/objects.h  NORMAL,
NORMAL             59 src/property-details.h NORMAL                    = 0,
NORMAL             45 src/variables.h NORMAL,