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