DuplicateParameter.ice:13: redefinition of parameter `s'
DuplicateParameter.ice:14: redefinition of parameter `s'
DuplicateParameter.ice:15: redefinition of parameter `s'
DuplicateParameter.ice:16: redefinition of parameter `i'
DuplicateParameter.ice:22: redefinition of parameter `s'
DuplicateParameter.ice:23: redefinition of parameter `s'
DuplicateParameter.ice:24: redefinition of parameter `s'
DuplicateParameter.ice:25: redefinition of parameter `i'