INCREMENT        1715 src/spaces.cc    STRING_TYPE_LIST(INCREMENT)
INCREMENT        1757 src/spaces.cc    STRING_TYPE_LIST(INCREMENT)