function readTableSize input String filename; input String tablename; output Integer[2] size; end readTableSize;