A tiny language for Go