CHECK: Comparison to NULL could be written "!s"
WARNING: Prefer __aligned(8) over __attribute__((aligned(8)))
WARNING: line length of 87 exceeds 80 columns