Pošljite SMS: Testing for linearizability