Why push and not `$args[i] = $arguments[i]`?