[   47.214590][  T377] packetdrill (377) used greatest stack depth: 24784 bytes left