[  144.735193][  T825] packetdrill (825) used greatest stack depth: 23552 bytes left