[  114.614662][  T725] packetdrill (725) used greatest stack depth: 23792 bytes left