partial function getString extends Interfaces.partialGetString; input String section = "" "Section"; input Types.ExternINIFile ini "External INI file object"; end getString;