1 2 3 4 5 6 7 8 9 10 11 12
// yul { { let a:u256 } { let a:u256 } } // ---- // disambiguator // { // { // let a:u256 // } // { // let a_1:u256 // } // }