[   47.801605][  T271] packetdrill (271) used greatest stack depth: 23448 bytes left