#5826: List.take function added to stdlib
#5952: implemented the Hashtbl.keys function