old_contents: from .base_executor import ScriptExecutor
  
  
  class Executor(ScriptExecutor):
      ext = '.sed'
      name = 'SED'
      command = 'sed'
      command_paths = ['sed']
      test_program = '''s/.*/echo: Hello, World!/
  q'''
      fs = ['/proc/filesystems$', '/+lib/charset.alias$']
      syscalls = ['statfs64', 'statfs']
  
      def get_cmdline(self):
          return [self.get_command(), '-f', self._code]
  
      @classmethod
      def get_command(cls):
          return cls.runtime_dict.get('sed', '/bin/sed')
  
new_contents: from .base_executor import ScriptExecutor
  
  
  class Executor(ScriptExecutor):
      ext = '.sed'
      name = 'SED'
      command = 'sed'
      command_paths = ['sed']
      test_program = '''s/.*/echo: Hello, World!/
  q'''
      fs = ['/proc/filesystems$', '/+lib/charset.alias$']
      syscalls = ['.*\.sed', 'statfs64', 'statfs']
  
      def get_cmdline(self):
          return [self.get_command(), '-f', self._code]
  
      @classmethod
      def get_command(cls):
          return cls.runtime_dict.get('sed', '/bin/sed')
  
subject: Allow .sed for Sed; #26