let int64 = { name = "int64"; num_bits = 64; max = Int64.max_int; min = Int64.min_int; to_string = Int64.to_string; compare = Int64.compare; }