[  179.282740][ T1263] packetdrill (1263) used greatest stack depth: 23728 bytes left