   ID   PROVIDER            MODULE                          FUNCTION NAME
 XX test_provXXXX              test                              main go_vanishing

	Probe Description Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Types
		None

 XX test_provXXXX              test                              main go_halved

	Probe Description Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Types
		args[0]: char *

 XX test_provXXXX              test                              main go_doubled

	Probe Description Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Types
		args[0]: char *
		args[1]: int
		args[2]: int
		args[3]: char *

 XX test_provXXXX              test                              main go

	Probe Description Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Types
		args[0]: char *
		args[1]: int

   ID   PROVIDER            MODULE                          FUNCTION NAME
 XX test_provXXXX              test                              main go_vanishing

	Probe Description Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Types
		None

 XX test_provXXXX              test                              main go_halved

	Probe Description Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Types
		args[0]: char *

 XX test_provXXXX              test                              main go_doubled

	Probe Description Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Types
		args[0]: char *
		args[1]: int
		args[2]: int
		args[3]: char *

 XX test_provXXXX              test                              main go

	Probe Description Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Attributes
		Identifier Names: Private
		Data Semantics:   Private
		Dependency Class: Unknown

	Argument Types
		args[0]: char *
		args[1]: int

