[ { "BlackBox" :
    { "name"      : "GHC.Base.remInt"
    , "kind"      : "Expression"
    , "type"      : "remInt :: Int -> Int -> Int"
    , "template"  : "~ARG[0] rem ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "GHC.Base.divInt"
    , "kind"      : "Declaration"
    , "type"      : "divInt :: Int -> Int -> Int"
    , "template"  :
"-- divInt begin
~GENSYM[divInt][0] : block
  signal ~GENSYM[quot_res][1] : ~TYP[1];
begin
  ~SYM[1] <= ~ARG[0] / ~ARG[1];
  ~RESULT <= ~SYM[1] - 1 when ((~ARG[0] = abs ~ARG[0]) /= (~ARG[1] = abs ~ARG[1])) else
             ~SYM[1];
end block;
-- divInt end"
    }
  }
, { "BlackBox" :
    { "name"      : "GHC.Base.modInt"
    , "kind"      : "Expression"
    , "type"      : "modInt :: Int -> Int -> Int"
    , "template"  : "~ARG[0] mod ~ARG[1]"
    }
  }
]