Module With_Integer_Forward.Integer_Forward