let from_bits : t_bits -> D.format -> D.abstract = D.e_app2 "rt_from_bits"