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