[   25.112983][  T264] packetdrill (264) used greatest stack depth: 24312 bytes left