legalize switch i64