<'
type cpu_state: [START, FETCH1, FETCH2, EXEC]; 
struct cpu { 
    st: cpu_state; 
    event state_change;
    cover state_change is { 
        item st; 
        transition st;  
    }; 

    post_generate() is also {
      emit  state_change;
    }
}; 
 
extend sys {
  cpu : cpu;
  run() is also {
    for {var i: uint = 0; i < 10 ; i = i + 1} do {
      gen cpu;
      print cpu;
    };
  };
};
'>