#include "pal.h"
#include "pal_debug.h"
#include <immintrin.h>
#include <stdio.h>

int main(){
    /* Initialize the two argument vectors */
  __m256 evens = _mm256_set_ps(2.0, 4.0, 6.0, 8.0, 10.0, 12.0, 14.0, 16.0);
  __m256 odds = _mm256_set_ps(1.0, 3.0, 5.0, 7.0, 9.0, 11.0, 13.0, 15.0);

  /* Compute the difference between the two vectors */
  __m256 result = _mm256_sub_ps(evens, odds);

  /* Display the elements of the result vector */
  float f = result[0];

  PAL_HANDLE file1 = DkStreamOpen("file:avxRes", PAL_ACCESS_RDWR, 0, 0, 0);
  if (file1) {
    DkStreamWrite(file1, 0, sizeof(f), &f, NULL);
    DkObjectClose(file1);
  }
  return 1;
}