ISA Declaration

[isa-declaration]