Add matching_result_alloc()