Further progress with TCP1_auxFns