Code Editor : rand_interval.t