A variable name with a known variable's attribute