Use @attribute instead of pragmas attribute and set_attribute.