begin to legalize i64 sext