[   46.314001][  T271] packetdrill (271) used greatest stack depth: 23984 bytes left