[  172.172173][ T1142] packetdrill (1142) used greatest stack depth: 23288 bytes left