<attrib> element