some printlns to try to figure out spec6 problems