elided extraneous debug printfs