[   89.564381][  T470] packetdrill (470) used greatest stack depth: 23680 bytes left