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