[   83.048129][  T493] packetdrill (493) used greatest stack depth: 23904 bytes left