(module Int_intf)