System.empty and System.__init__ revisited