In the Nintendo 3DS Sound manual, "Dr. Mario" is an example sound file shown in the screenshots on pages six and nine.