(Rice) Use stdint types