CHECK: spaces preferred around that '/' (ctx:VxV)
WARNING: Avoid line continuations in quoted strings
WARNING: Avoid unnecessary line continuations
WARNING: do not add new typedefs