Use cstdint header