这是一道提交答案题。

hhoppitree 有一台计算机和 $26$ 个无符号 $\textbf{64}$ 位变量（也就是说，运算过程中所有的计算都会对 $\textbf 2^{\textbf {64}}$ 取模），名字分别为 $A\sim Z$。

初始时，$A$ 和 $B$ 中分别存储着两个数 $a$ 和 $b$，他想用以下三种操作使得变量 $C$ 中的值为 $a\times b\bmod 1000000007$：

• $\colorbox{f0f0f0}{\verb!add x y z!}$：将变量 $x$ 的值赋为变量 $y$ 的值和变量 $z$ 的值的和。

• $\colorbox{f0f0f0}{\verb!mul x y z!}$：将变量 $x$ 的值赋为变量 $y$ 的值和变量 $z$ 的值的积。

• $\colorbox{f0f0f0}{\verb!rem x y!}$：将变量 $x$ 的值赋为变量 $y$ 的值对 $998244353$ 取模后的值。

请利用以上三种语句写出一个 $\mathbf{100}$ 行以内的伪代码，使得它能计算出 $a\times b\bmod1000000007$ 的值，并存储在变量 $C$ 中。