proc: push argc/argv directly to the stack