[   29.118028][  T457] packetdrill (457) used greatest stack depth: 24488 bytes left