i64 * i32 ^ 1
