no standard int types