Add a comment about ATTRIBUTE_UNUSED to avoid further confusion over when to