[ 95.902579][ T825] packetdrill (825) used greatest stack depth: 24016 bytes left