Parameter Make.1-Num_bits

val num_bits : int