RobustnessFlag 7171 src/objects.h RobustnessFlag robustness_flag, RobustnessFlag 7177 src/objects.h RobustnessFlag robustness_flag = FAST_STRING_TRAVERSAL, RobustnessFlag 7187 src/objects.h RobustnessFlag robustness_flag = FAST_STRING_TRAVERSAL);