CHECK: Concatenated strings should use spaces between elements
WARNING: Missing a blank line after declarations
WARNING: Prefer 'fallthrough;' over fallthrough comment
WARNING: Prefer 'unsigned int' to bare use of 'unsigned'
WARNING: Prefer 'unsigned long long' over 'unsigned long long int' as the int is unnecessary
WARNING: Prefer __noreturn over __attribute__((noreturn))
WARNING: Prefer __printf(1, 2) over __attribute__((format(printf, 1, 2)))
WARNING: Prefer __printf(2, 0) over __attribute__((format(printf, 2, 0)))
WARNING: Prefer __printf(2, 3) over __attribute__((format(printf, 2, 3)))
WARNING: __always_unused or __maybe_unused is preferred over __attribute__((__unused__))
WARNING: do not add new typedefs
WARNING: function definition argument 'void' should also have an identifier name
WARNING: line length of 81 exceeds 80 columns
WARNING: line length of 84 exceeds 80 columns
WARNING: line length of 85 exceeds 80 columns