ones = 1 :: ones;;

take 0 l = [];;
take n [] = [];;
take n (h :: t) = h :: take (n - 1) t;;