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