This is in the main file.

This is in the INCLUDED file.

This is the included_def function with parameter alpha.