[   85.242384][  T470] packetdrill (470) used greatest stack depth: 23128 bytes left