opentofu/tools.go