@staticmethod
def mangle_parametrized_function_name(name: str):
    """
        Mangles the name of a parametrized function such that its name is not a symbol.

        :param name: The function's name.
        :return: The mangled name.
        """
    return '0!' + name
