[  143.610977][  T825] packetdrill (825) used greatest stack depth: 24088 bytes left