On Fri, 3 Dec 2021 04:47:39 GMT, David Holmes <dholmes at openjdk.org> wrote: > argc is still mentioned in the comment on line 1183. Right! Fixed in new commit. ------------- PR: https://git.openjdk.java.net/jdk/pull/6671