RecordHeaderInfo rhi = s.findRecord(ModuleSerializationTags.LECC_MACHINE_FUNCTION);
if (rhi == null) {
throw new IOException ("Unable to find record header for LECCMachineFunction.");
}
LECCMachineFunction mf = new LECCMachineFunction();
mf.readContent(s, rhi.getSchema(), mti, msgLogger);
s.skipRestOfRecord();
return mf;
}