+ "if `sp` is not zero"