-----Description-----  
This problem involves computing the triple of a given integer. The goal is to produce an output that is exactly three times the input value.

-----Input-----  
The input consists of:  
• x: An integer representing the value to be tripled.

-----Output-----  
The output is an integer that is three times the input value (i.e., 3 * x).

-----Note-----  
The implementation uses a local variable to first compute double the input and then adds the original input to get the final result. The accompanying theorem asserts that the function satisfies the specification of computing 3 * x.