let m(a){a} in m(5);let m(b){b+1} in m(5)