<'
struct frame {
  size : uint;
  dest_address : uint;
  source_address : uint;
  // Method to print the frame
  send() is {
    print me using hex;
  };
};

define <simple_frame'action> 
"send simple frame <dest_addr'num> <source_addr'num> <size'num>" 
 as { 
      var f: frame; 
      gen f keeping { 
          .size == <size'num>; 
          .dest_address == <dest_addr'num>; 
          .source_address == <source_addr'num>; 
      }; 
      f.send(); 
};

extend sys { 
  run() is also { 
    send simple frame 0x00fe 0x0010 0xff;
    send simple frame 0x00ff 0x0011 0x0f;
  }; 
};
'>