{
	let x:u256
	switch x
	case "01234567890123456789012345678901":u256 {}
}
// ====
// dialect: evmTyped
// ----