let
sum_int_list (l:int list) =
List
.fold_left (+) 0 l