let rec mk_out i a = if i <= 0 then mk_outl a else if i = 1 then mk_outr a else mk_outr (mk_out (i - 1) a)