[   79.502242][  T515] packetdrill (515) used greatest stack depth: 23912 bytes left