[   75.578767][  T457] packetdrill (457) used greatest stack depth: 24576 bytes left