use standard int types