[   47.087111][  T377] packetdrill (377) used greatest stack depth: 23680 bytes left