189                            size_t NumCases, uint64_t *Cases, dfsan_label L);
196                            size_t NumCases, uint64_t *Cases);
358                                      uint64_t Val, size_t NumCases,  in DFSanSwitchCallback()  argument
366   for (size_t i = 0; i < NumCases; i++)  in DFSanSwitchCallback()
370     for (size_t i = 0; i < NumCases; i++)  in DFSanSwitchCallback()
375       for (size_t i = 0; i < NumCases; i++)  in DFSanSwitchCallback()
381            PC, Val, ValSize, NumCases, L, LR.Beg, LR.End, TryShort);  in DFSanSwitchCallback()
458                                      uint64_t Val, size_t NumCases,  in TraceSwitchCallback()  argument
463   for (size_t i = 0; i < NumCases; i++)  in TraceSwitchCallback()
467     Printf("TraceSwitch: %p %zd # %zd; TryShort %d\n", PC, Val, NumCases,  in TraceSwitchCallback()
470   for (size_t i = 0; i < NumCases; i++) {  in TraceSwitchCallback()