debug prints to hunt down the segfault