outline/rdt_result_neg library