(module Core_nativeint)