#include "pcie40_ecs.h"
#include "pcie40_b2slc.h"
#include <stdio.h>

int main(int argc, char *argv[]) { 
  ecs_open( 0 , 2 ) ;

  int result = pcie40_readfee32( 0 , 0x12 ) ;
  
  ecs_close( 0 , 2 ) ;

  printf( "Value = %X\n" , result ) ;

  return 0 ;
}