DocCode: more savequeuing tests reveal and cure more subtle bugs