possible restart instruction to use