Module Nativeint = Nativeint