最終的に以下のようになりました(再掲)。コンソールに関数名と引数を表示します。マクロの定義は以下のようになっています(一部空白を編集)。*return_value)と展開されることがわかりました。マクロを使って引数の数をチェックします。これは内部的に引数エラーを発生させて、そのまま上位にリターンします。引数の数が合っていれば次に進みます。型の引数を1つ取ります。疑似関数で引数を受け取るには、まず引数に対応するローカル変数を宣言します。