[   51.256642][  T380] packetdrill (380) used greatest stack depth: 23376 bytes left