>>501
R5RSのsyntax-rulesの説明を見る限り、
cはパターン変数として扱われるから
7行目のcは3行目のcを参照しないでしょ。

このへん、R6RS及びR7RSで変更されたの?