[   23.655872][  T264] packetdrill (264) used greatest stack depth: 23352 bytes left