[[deprecated]] attribute