function setIntValueAt input ExternalMemoryInt extMem; input Integer idx "0-based"; input Integer value; end setIntValueAt;