PROC double (INT yy)
  yy := y * 2
:
STOP