Makes the `args` argument to `main.star#run` optional, so that this is
even easier to import in other code chunks