one could make the __attribute__ implicit and generate the name automatic but it seems like overkill as long as we only have one.