Attribute Macro spec

Source
#[spec]