[  138.130404][  T825] packetdrill (825) used greatest stack depth: 23536 bytes left