マクロで
#define a b
#define b( x ) b( x, 0 )
で
a( a )
が
b( b, 0 )
にできることは定められていますか？

特に
・展開された字句が自分自身に一致することは安全か？
・大概のプリプロセッサが a と a() を別物として扱うのは規格化された動作か共通の拡張か？
・定数型マクロとして展開された字句が関数型マクロと一致した場合に再び置換されることが保証されているか？
について教えてください