Removed redefinition of integer type.