Since the wrapper files are called sum_𝑥.go, it makes sense that the assembly files would be named similarly. Change-Id: I5c515008b86c7fedd04b940d7846b84dfccdba33 Reviewed-on: https://go-review.googlesource.com/30727 Reviewed-by: Brad Fitzpatrick <bradfitz@golang.org> Run-TryBot: Brad Fitzpatrick <bradfitz@golang.org> TryBot-Result: Gobot Gobot <gobot@golang.org>