final value: [int 1]