let rec reduce_ldecls ~acc =
function
[] -> []
| (LocalStatic, typ, id, initopt) :: tl ->
(* TODO : check reference to local auto varialble *)
acc := (typ, id, initopt) :: !acc;
reduce_ldecls ~acc tl
| dc :: tl ->
dc :: reduce_ldecls ~acc tl