final value: [int 42]