-- sumator liczb dodatnich
CONSTANT N = 4;
SUBDESIGN cw4_1
(
	a[N-1..0], b[N-1..0]	 	: INPUT;
	cout, s[N-1..0] 			: OUTPUT;
)
VARIABLE
--	temp[N..0] : lcell; -- LCELL = wezel ktory zawsze jest w ukladzie 
	temp[N..0] : node; -- NODE = wezel ktory moze byc zredukowany
BEGIN
-- 1. wersja
--	(cout, s[]) = (b"0",a[]) + (b"0",b[]);
-- 2. wersja
	temp[] = (0,a[]) + (0,b[]);
	(cout, s[]) = temp[];
END;