[  117.133692][  T503] packetdrill (503) used greatest stack depth: 23112 bytes left