[   40.683420][  T271] packetdrill (271) used greatest stack depth: 23792 bytes left