[   56.179552][  T270] packetdrill (270) used greatest stack depth: 23448 bytes left