let push where pool bindings hints =
    Wp_parameters.debug ~level:3 "PUSH %d: %S@." (List.length !context) where ;
    let c = { pool=pool ; bindings=bindings ; hints=hints } in
    context := c :: !context ; c