(module Core_int)