type(i64 * i64)
