support main argc/argv in c backend