Add a forgotten result file (small allocator).