[   77.066212][  T458] packetdrill (458) used greatest stack depth: 24672 bytes left