[   47.815953][  T377] packetdrill (377) used greatest stack depth: 23936 bytes left