parameters: (self, file)
docstring: Execute the Python code in the file in the restricted
          environment's __main__ module.
docstring_summary: Execute the Python code in the file in the restricted
          environment's __main__ module.
docstring_tokens: Execute the Python code in the file in the restricted environment s __main__ module .
function: def r_execfile(self, file):
          """Execute the Python code in the file in the restricted
          environment's __main__ module.
  
          """
          m = self.add_module('__main__')
          execfile(file, m.__dict__)
function_tokens: def r_execfile ( self , file ) : m = self . add_module ( '__main__' ) execfile ( file , m . __dict__ )