[   75.316727][  T457] packetdrill (457) used greatest stack depth: 24048 bytes left