function getRealValueAt input ExternalMemoryReal extMem; input Integer idx "0-based"; output Real value; end getRealValueAt;