Add argc/argv to user programs