Single Assignment C（SAC）のargv/argcにはどのようにアクセスしますか？

Question

argvは文字列のSAC配列、または従来の文字列のC配列ですか？

ドキュメントにはCommandLine.sacがありますが、SACのAPIの使い方はわかりません。 SACは、連結すべての引数に文字列を返す、CommandLineモジュールでargv()を提供します：バージョン（1.0）では

$ cat args.sac 
use StdIO: all; 
use Array: all; 
use CommandLine: all; 

int main() { 
    printf("%s\n", argv()); 

    return(0); 
} 
$ sac2c -o args args.sac 
$ ./args a b c 
./args a b c 

Answer 1

あなたはARGVを使用することができます（1）機能

Answer 2

SACは、どちらも（実際に悪い）行います。

$ cat args.sac 
use StdIO: all; 
use Array: all; 
use CommandLine: all; 

int main() { 
    printf("Test: %s\n", argv(1)); 

    return(0); 
} 
$./args hello 
$ Test: hello