document litmus -alloc option.