[   37.664524][  T264] packetdrill (264) used greatest stack depth: 24272 bytes left