`#include "attributes.h` is missing.