using formal language name 'Go'