corrected integer kinds