noDup results in stack space overflow