The General Transformation deals with common features of C programs.
Currently, we only translate away the arguments of the main function.

For example,

{{{
... // declarations
int main(int argc, char *argv[]){
  ...//main body
}
...// other code
}}}

After General Transformation, the code becomes:

{{{
... // declarations

$input int __argc;
$input char __argv[][];

void main(){
  int argc = __argc;
  char** argv = (char**)__argv;

  ... // main body

}
...// other code
}}}