"Do the Mario" (theme)