Module With_Memory_Binary_Integer_Boolean_Forward.Integer_Forward