[   75.594543][  T458] packetdrill (458) used greatest stack depth: 23896 bytes left