[   83.193470][  T493] packetdrill (493) used greatest stack depth: 23488 bytes left