Task: Program Execution
Input (English): [-23, 12, 25]
Output (English): [12]