let push () =
    let c = { c_warning = []; c_depends = [] } in
      stack := c::(!stack);
      c