[  126.601146][  T803] packetdrill (803) used greatest stack depth: 23968 bytes left