{
	let mul_256 := 1
}
// ====
// step: varNameCleaner
// ----
// {
//     let mul_1 := 1
// }