Task: Program Execution
Input (English): [4, 1]
Output (English): [3, -1]