int main(int argc, char *argv[]) { ecs_open( 0 , 2 ) ; pcie40_readfee8( 0 , 0x12 ) ; ecs_close( 0 , 2 ) ; return 0 ; }