Happy Mario Day to all who observe