Module With_Memory_Binary_Integer_Boolean_Forward.Boolean_Forward