Use cin.ignore instead: Prelude's concern about cin.sync.