[  141.692664][  T925] packetdrill (925) used greatest stack depth: 24424 bytes left