DuplicateParameter.ice:18: redefinition of parameter `s'
DuplicateParameter.ice:19: redefinition of parameter `s'
DuplicateParameter.ice:20: redefinition of parameter `s'
DuplicateParameter.ice:21: redefinition of parameter `i'
DuplicateParameter.ice:27: redefinition of parameter `s'
DuplicateParameter.ice:28: redefinition of parameter `s'
DuplicateParameter.ice:29: redefinition of parameter `s'
DuplicateParameter.ice:30: redefinition of parameter `i'