Assembly function used by Go-asm.go