let int32 = { name = "int32"; num_bits = 32; max = Int32.max_int; min = Int32.min_int; to_string = Int32.to_string; }