translate go specification