(module Response_intf)