[  133.585151][  T847] packetdrill (847) used greatest stack depth: 24112 bytes left