[  126.585480][  T801] packetdrill (801) used greatest stack depth: 23888 bytes left