Hmmm, the "[..]" is a fat pointer right? Couldn't you just say:

    int main(char [..] args)

Maybe with some way to tell the compiler the correct parameter order if needed? Perhaps:

    int main(char [..argc] argv)

I'm curious if ELF and other formats have enough info to figure that mapping out?