<'
type color :[red,blue,green,white,yellow];

extend sys {
  local_color : color;
  run() is also {
    print local_color;
    local_color = red;
    print local_color;
    // Below assignment is wrong
    //local_color = 3;
  };
};
'>