各変数が32 bitだとすればformula_35,64 bitだとすればformula_36であり、対応するformula_18は以下の表のようになる。