Use integer types that are guaranteed in size