[   82.610049][  T493] packetdrill (493) used greatest stack depth: 23872 bytes left