let nativeint = { name = "nativeint"; num_bits = Word_size.num_bits Word_size.word_size; max = Nativeint.max_int; min = Nativeint.min_int; to_string = Nativeint.to_string; }