- BlackBox:
    name: GHC.Base.remInt
    kind: Expression
    type: 'remInt :: Int ->
      Int -> Int'
    template: ~ARG[0] % ~ARG[1]
- BlackBox:
    name: GHC.Base.quotInt
    kind: Expression
    type: 'quotInt :: Int
      -> Int -> Int'
    template: ~ARG[0] / ~ARG[1]