[  138.041037][ T1002] packetdrill (1002) used greatest stack depth: 23912 bytes left