Use allocate_optimized_out_value instead of set_value_optimized_out.