void sleep_mode(void)
Put the device into sleep mode, taking care of setting the SE bit before, and clearing it afterwards.