bugfix: the body of do-restart was not an implicit progn.
added label1, the restricted version of labels