PROC P ()
  INT x:
  BOOL y IS x:
  SKIP
: