removed customly-defined integer type