PROC P ()
  INT a:
  SEQ
    a := 42
    a := a << 4
    a := a >> 4
    a := a >> (a - 40)
: