module inv2d_p0_r1_a2 (DATAD, INVOICE) is

!nat_bits 9 -- to allow sums that overflow 255

-- maximal number of products M_p = 0
-- maximal number of references M_r = 1
-- maximal amount M_a = 2

process MAIN [Request: RequestChan, Cancel: CancelChan, Deposit: DepositChan] is
   Invoice_p_r_a [Request, Cancel, Deposit] (0 of Product, 1 of Reference,
                                             2 of Amount, NoOrders, NoStocks)
end process

end module