[  134.114419][  T847] packetdrill (847) used greatest stack depth: 23584 bytes left