[   77.403913][  T458] packetdrill (458) used greatest stack depth: 24472 bytes left