Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model