Michael_Oser_Rabin loading ...