now implies.cpp uses Attributes