Reading out argc via inline assembly in C

Question

I am trying to read out the argc value without using stdlib using assembly on x86-64 architecture. For this, I am emulating https://sourceware.org/git/p=glibc.git;a=blob;f=s