[   76.625164][  T457] packetdrill (457) used greatest stack depth: 24440 bytes left