Stopped image synchronization question

With IVF 16.0 Update 1, the following code will go in an infinite loop, suggesting that a STOPped image is SYNChronizable with any other (still running) image. Is this interpretation correct? I was initially thinking that the code would hang, since images>1 would not be able to SYNC with image 1.

PROGRAM P
IMPLICIT NONE
SYNC ALL
IF (THIS_IMAGE()==1) THEN
    STOP
END IF
DO
    SYNC ALL
    WRITE(*,*) 'Oops!'
END DO
END PROGRAM P