[  145.084308][  T825] packetdrill (825) used greatest stack depth: 24384 bytes left