DuplicateParameter.ice:13: duplicate parameter `s'
DuplicateParameter.ice:14: duplicate parameter `s'
DuplicateParameter.ice:15: duplicate parameter `s'
DuplicateParameter.ice:16: duplicate parameter `i'
DuplicateParameter.ice:21: duplicate parameter `s'
DuplicateParameter.ice:22: duplicate parameter `s'
DuplicateParameter.ice:23: duplicate parameter `s'
DuplicateParameter.ice:24: duplicate parameter `i'