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