Broken While

The following is an invalid µOCCAM program. Incomplete while condition

  INT a = 5:
  INT b = 7: 	-- missing part of while condition
  
  WHILE a <> 
    STOP