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