Symbol: PRINT_ONE_FLAG