[   82.514383][  T493] packetdrill (493) used greatest stack depth: 23728 bytes left