let v_term = let v_name = "__default_v_constant__" in request_const (Symbol.create_function v_name 0)