[   80.170728][  T390] packetdrill (390) used greatest stack depth: 23128 bytes left