Some debugging messages.
Restart finally works.
restart ++