Type-safe linkage is ensured by:

a. Name mangling.
b. Calling the correct function.
c. The agreement of the arguments and parameters.
d. Specifying return types.

a. Name mangling.