Make TestReadInt pass