[   51.337890][  T380] packetdrill (380) used greatest stack depth: 24816 bytes left