[  144.163775][ T1262] packetdrill (1262) used greatest stack depth: 23360 bytes left