[   76.170973][  T456] packetdrill (456) used greatest stack depth: 23896 bytes left