[  142.464513][  T925] packetdrill (925) used greatest stack depth: 23864 bytes left