we can now define ireturn iextract for AtC and CoatC