Added list_size.ml