No joy :-( I'm confident your code is good. Let's just remove the assert-strcmp and printfs and I'll land it.