[  142.561431][  T846] packetdrill (846) used greatest stack depth: 24080 bytes left