pub const NUM_RAND_ROWS: usize = 1;
Number of rows at the end of an execution trace which are injected with random values.