[  142.240854][  T847] packetdrill (847) used greatest stack depth: 23608 bytes left