[  127.613752][  T801] packetdrill (801) used greatest stack depth: 23872 bytes left