update RandSelect so it can choose the start number of counting.

unify the format of header guards.