[   76.603309][  T457] packetdrill (457) used greatest stack depth: 24272 bytes left