CHECK: Macro argument 'nr' may be better as '(nr)' to avoid precedence issues
CHECK: spaces preferred around that '+' (ctx:VxV)