Use int