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