if (rng().nextInt(100) < WikipediaConstants.ANONYMOUS_PAGE_UPDATE_PROB) {
user_id = WikipediaConstants.ANONYMOUS_USER_ID;
}
// Otherwise figure out what user is updating this page
else {
user_id = z_users.nextInt();
}
assert(user_id != -1);
// Figure out what page they're going to update
int page_id = z_pages.nextInt();