CHECK: Macro argument 'len' may be better as '(len)' to avoid precedence issues
ERROR: space required after that ',' (ctx:VxV)
WARNING: Non-declarative macros with multiple statements should be enclosed in a do - while loop
WARNING: line length of 81 exceeds 80 columns