Added dummy parameters to for()do() blocks.

These are now necessary because the JavaScript
backend checks that the number of arguments
corresponds to the number of parameters.