[  127.045488][  T803] packetdrill (803) used greatest stack depth: 23904 bytes left