CHECK: Macro argument 'p' may be better as '(p)' to avoid precedence issues