[   83.052487][  T493] packetdrill (493) used greatest stack depth: 23792 bytes left