[  133.348337][  T847] packetdrill (847) used greatest stack depth: 23600 bytes left