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