[   85.186030][  T505] packetdrill (505) used greatest stack depth: 24720 bytes left