NativeRedefinition.ice:11: parse error