Correct signatures of run/execReservoirP