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