enhance comment in allocation_profiling.mli