[   23.573494][  T264] packetdrill (264) used greatest stack depth: 23728 bytes left