let
mk_adc a d c = create (a, d, c)