// Dafny program helloworld.dfy compiled into Go
package helloworld

import (
	DafnyModule1 "GoModule1/DafnyModule1"
	os "os"

	_System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_"
	_dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
)

var _ = os.Args
var _ _dafny.Dummy__
var _ _System.Dummy__
var _ DafnyModule1.Dummy__
