[  738.852540][ T8241] packetdrill (8241) used greatest stack depth: 24272 bytes left