function readSimulationResultSize input String fileName; output Integer sz; end readSimulationResultSize;