[   83.180702][  T493] packetdrill (493) used greatest stack depth: 23776 bytes left