`value: function Main() {`