t4013: note improvements brought by the new output code.