[  128.203377][  T801] packetdrill (801) used greatest stack depth: 23616 bytes left