assert false if decl(reg32) is called