Can you use standard portable int instead of specific type?