Use matching_result_alloc()