>: 4 8 15 16 23 42
      EXECUTE?