ParamForLoop: Flesh out the implementation