AESinkPULSE: Make cppcheck happy