Tag: declare IR