def procedural_abstraction(param):
    result = param * 2
    return result

def summing_machine(first_number, second_number):
    sum_result = first_number + second_number
    return sum_result

result = summing_machine(7, 5)
print("The sum of 7 and 5 is:", result)

The sum of 7 and 5 is: 12