final value: [int 30]